diff options
author | Justin M. Keyes <justinkz@gmail.com> | 2017-12-11 01:58:55 +0100 |
---|---|---|
committer | Justin M. Keyes <justinkz@gmail.com> | 2017-12-26 04:00:18 +0100 |
commit | 973bd10a127f468b55c79e57f8d7215f9b6e6073 (patch) | |
tree | 174b4ffc77a015605ea1ec63171a403c66b10da0 /scripts | |
parent | fe60fa9faafd90cfe756c80119abae6f8906fc4b (diff) | |
download | rneovim-973bd10a127f468b55c79e57f8d7215f9b6e6073.tar.gz rneovim-973bd10a127f468b55c79e57f8d7215f9b6e6073.tar.bz2 rneovim-973bd10a127f468b55c79e57f8d7215f9b6e6073.zip |
vim-patch.sh: introduce `-V`
Diffstat (limited to 'scripts')
-rwxr-xr-x | scripts/vim-patch.sh | 11 |
1 files changed, 8 insertions, 3 deletions
diff --git a/scripts/vim-patch.sh b/scripts/vim-patch.sh index 530701e223..55a4acc830 100755 --- a/scripts/vim-patch.sh +++ b/scripts/vim-patch.sh @@ -32,9 +32,10 @@ usage() { echo " format '7.4.xxx' or a Git commit hash." echo " -s Submit a vim-patch pull request to Neovim." echo " -r {pr-number} Review a vim-patch pull request to Neovim." + echo ' -V Clones the Vim source code to $VIM_SOURCE_DIR.' echo - echo "Set VIM_SOURCE_DIR to change where Vim's sources are stored." - echo "Default is '${VIM_SOURCE_DIR_DEFAULT}'." + echo ' $VIM_SOURCE_DIR controls where Vim sources are found' + echo " (default: '${VIM_SOURCE_DIR_DEFAULT}')" } # Checks if a program is in the user's PATH, and is executable. @@ -481,7 +482,7 @@ review_pr() { clean_files } -while getopts "hlLp:P:g:r:s" opt; do +while getopts "hlLVp:P:g:r:s" opt; do case ${opt} in h) usage @@ -515,6 +516,10 @@ while getopts "hlLp:P:g:r:s" opt; do submit_pr exit 0 ;; + V) + get_vim_sources + exit 0 + ;; *) exit 1 ;; |