diff options
| author |   Fabian Groffen <grobian@gentoo.org> | 2018-01-13 13:01:54 +0100 |
|---|---|---|
| committer | Fabian Groffen <grobian@gentoo.org> | 2018-01-13 13:01:54 +0100 |
| commit | 301e21e7bd2317be312e7f110dbdea51a315abee (patch) | |
| tree | 9fa161b5a3641b440a8914cc08b1746c6ce14137 /scripts | |
| parent | bootstrap-prefix.sh: require bash 4.2. (diff) | |
| download | prefix-301e21e7bd2317be312e7f110dbdea51a315abee.tar.gz prefix-301e21e7bd2317be312e7f110dbdea51a315abee.tar.bz2 prefix-301e21e7bd2317be312e7f110dbdea51a315abee.zip | |
scripts/bootstrap-prefix: complete instructions for using newer bash
Diffstat (limited to 'scripts')
| -rwxr-xr-x | scripts/bootstrap-prefix.sh | 8 |
1 files changed, 6 insertions, 2 deletions
diff --git a/scripts/bootstrap-prefix.sh b/scripts/bootstrap-prefix.sh index 89210cea0c..5f6e4e2c95 100755 --- a/scripts/bootstrap-prefix.sh +++ b/scripts/bootstrap-prefix.sh @@ -9,8 +9,12 @@ einfo() { echo "* $*"; } if [[ ! ${BASH_VERSION:-0} == 4.[23456789]* ]]; then eerror "This script requires GNU bash 4.2 or newer to run." - eerror "If you don't have one, please bootstrap bash 4.2 first:" - eerror "https://wiki.gentoo.org/wiki/Project:Prefix/Bootstrap" + eerorr "You are using ${BASH} which is ${BASH_VERSION}" + eerror "If you don't have a newer one, please bootstrap bash 4.2 first:" + eerror " https://wiki.gentoo.org/wiki/Project:Prefix/Bootstrap" + eerror "You can prepend a better bash's location to your PATH, or call" + eerror "this script with the alternative bash like so:" + eerror " /path/to/bash-4.2 ${BASH_SOURCE[0]}" exit 1 fi |