Merge branch 'master' into man

This commit is contained in:
Daniel J Walsh
2019-02-01 13:28:45 -05:00
committed by GitHub

View File

@@ -6,11 +6,14 @@ _complete_() {
local options_with_args=$1
local boolean_options="$2 -h --help"
case "$prev" in
$options_with_args)
return
;;
esac
local option_with_args
for option_with_args in $options_with_args
do
if [ "$option_with_args" == "$prev" ]
then
return
fi
done
case "$cur" in
-*)