diff options
| author | James McCoy <jamessan@jamessan.com> | 2020-04-21 22:35:31 -0400 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2020-04-21 22:35:31 -0400 |
| commit | fdedaa7226ffa411d023f37c3c5dbae984ca0e38 (patch) | |
| tree | e29a147a2ab53cb3856e8a25313f26b15367abb8 /scripts/vim-patch.sh | |
| parent | 68546805790b5fd50e5e520a42dcf2e68c8fa4de (diff) | |
| parent | f47e574c875c521244cdb30f271714d4bf20294d (diff) | |
| download | rneovim-fdedaa7226ffa411d023f37c3c5dbae984ca0e38.tar.gz rneovim-fdedaa7226ffa411d023f37c3c5dbae984ca0e38.tar.bz2 rneovim-fdedaa7226ffa411d023f37c3c5dbae984ca0e38.zip | |
Merge pull request #12081 from xylix/bash-version-check
Diffstat (limited to 'scripts/vim-patch.sh')
| -rwxr-xr-x | scripts/vim-patch.sh | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/scripts/vim-patch.sh b/scripts/vim-patch.sh index e50eb307e5..dc62c9e744 100755 --- a/scripts/vim-patch.sh +++ b/scripts/vim-patch.sh @@ -5,6 +5,12 @@ set -u # Use privileged mode, which e.g. skips using CDPATH. set -p +# Ensure that the user has a bash that supports -A +if [[ "${BASH_VERSINFO[0]}" -lt 4 ]]; then + echo "This script requires bash version 3 or later (you have ${BASH_VERSION})." >&2 + exit 1 +fi + readonly NVIM_SOURCE_DIR="${NVIM_SOURCE_DIR:-$(cd "$(dirname "${BASH_SOURCE[0]}")/.." && pwd)}" readonly VIM_SOURCE_DIR_DEFAULT="${NVIM_SOURCE_DIR}/.vim-src" readonly VIM_SOURCE_DIR="${VIM_SOURCE_DIR:-${VIM_SOURCE_DIR_DEFAULT}}" |