diff options
| -rw-r--r-- | src/dist.sh | 10 |
1 files changed, 9 insertions, 1 deletions
diff --git a/src/dist.sh b/src/dist.sh index 0cf38a7..9293dc9 100644 --- a/src/dist.sh +++ b/src/dist.sh @@ -15,7 +15,15 @@ # You should have received a copy of the GNU General Public License # along with this program. If not, see <http://www.gnu.org/licenses/>. -dist_functions='get_name get_mirrors get_versions' +dist_functions='get_mirrors get_versions' + +dist_get_name() +{ + local dist="${1}" + shift 1 + + dist_${dist}_get_name +} select_dist() { |