Lines 28-35
Link Here
|
28 |
+flavor_part () { local tmp="${1%%:*}"; [ -z "${tmp##*@*}" ] && echo "${tmp#*@}"; } |
28 |
+flavor_part () { local tmp="${1%%:*}"; [ -z "${tmp##*@*}" ] && echo "${tmp#*@}"; } |
29 |
+dir_part () { local tmp="${1%%:*}"; echo "${tmp%%@*}"; } |
29 |
+dir_part () { local tmp="${1%%:*}"; echo "${tmp%%@*}"; } |
30 |
export_flavor () { local flavor="$1"; if [ "$FLAVOR" != "$flavor" ]; then |
30 |
export_flavor () { local flavor="$1"; if [ "$FLAVOR" != "$flavor" ]; then |
31 |
pm_v "===>>> Setting FLAVOR to '$flavor' (was '$FLAVOR')"; |
31 |
- pm_v "===>>> Setting FLAVOR to '$flavor' (was '$FLAVOR')"; |
|
|
32 |
+ pm_v "===>>> Setting FLAVOR to '$flavor' (was '$FLAVOR')" >&2; |
32 |
export FLAVOR="$flavor"; fi; } |
33 |
export FLAVOR="$flavor"; fi; } |
|
|
34 |
|
35 |
pm_cd () { builtin cd $1 2>/dev/null || return 1; } |
33 |
@@ -2175,23 +2176,29 @@ update_pm_nu () { |
36 |
@@ -2175,23 +2176,29 @@ update_pm_nu () { |
34 |
} |
37 |
} |
35 |
|
38 |
|