diff options
| -rw-r--r-- | src/profile.sh | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/src/profile.sh b/src/profile.sh index f786149..13f28cd 100644 --- a/src/profile.sh +++ b/src/profile.sh @@ -33,6 +33,7 @@ register_profile() is_profile() { local prof="${1}" + shift 1 case "${profiles}" in *" ${prof} "*) return 0;; *) return 1;; esac @@ -42,6 +43,7 @@ is_profile() profile_set() { local prof="${1}" + shift 1 if is_profile "${prof}"; then profile="${prof}" @@ -56,6 +58,7 @@ profile_set() profile_detect() { local root="${1}" + shift 1 for prof in ${profiles}; do if "prof_${prof}_detect_root" "${root}"; then |