'main': Learn $flags_sans_arguments and use that to parse '-xy foo' correctly where -x takes no argument and -y does.

This commit is contained in:
Daniel Shahaf
2018-01-12 13:32:30 +00:00
committed by Matthew Martin
parent bee115f797
commit a2e993c59f
2 changed files with 54 additions and 8 deletions

View File

@@ -238,14 +238,20 @@ _zsh_highlight_highlighter_main_paint()
# $flags_with_argument is a set of letters, corresponding to the option letters
# that would be followed by a colon in a getopts specification.
local flags_with_argument
# $precommand_options maps precommand name to value of $flags_with_argument
# for that precommand.
# $flags_sans_argument is a set of letters, corresponding to the option letters
# that wouldn't be followed by a colon in a getopts specification.
local flags_sans_argument
# $precommand_options maps precommand name to values of $flags_with_argument and
# $flags_sans_argument for that precommand, joined by a colon.
#
# Currently, setting $flags_sans_argument is only important for commands that
# have a non-empty $flags_with_argument; see test-data/precommand4.zsh.
local -A precommand_options
precommand_options=(
'command' ''
'nice' n
'sudo' Cgprtu
'doas' aCu
'command' :pvV # as of zsh 5.4.2
'nice' n # as of current POSIX spec
'sudo' Cgprtu:AEHKPSVbhiklnsv # as of sudo 1.8.21p2
'doas' aCu:Lns # as of OpenBSD's doas(1) dated September 4, 2016
)
if [[ $zsyh_user_options[ignorebraces] == on || ${zsyh_user_options[ignoreclosebraces]:-off} == on ]]; then
@@ -551,7 +557,7 @@ _zsh_highlight_main_highlighter_highlight_list()
if (( ! in_redirection )); then
if [[ $this_word == *':sudo_opt:'* ]]; then
if [[ -n $flags_with_argument ]] &&
[[ $arg == '-'[$flags_with_argument] ]]; then
[[ $arg == '-'[$flags_sans_argument]#[$flags_with_argument] ]]; then
# Flag that requires an argument
this_word=${this_word//:start:/}
next_word=':sudo_arg:'
@@ -578,7 +584,8 @@ _zsh_highlight_main_highlighter_highlight_list()
elif [[ $this_word == *':start:'* ]] && (( in_redirection == 0 )); then # $arg is the command word
if (( ${+precommand_options[$arg]} )) && { _zsh_highlight_main__type $arg; [[ -n $REPLY && $REPLY != "none" ]] }; then
style=precommand
flags_with_argument=${precommand_options[$arg]}
flags_with_argument=${precommand_options[$arg]%:*}
flags_sans_argument=${precommand_options[$arg]#*:}
next_word=${next_word//:regular:/}
next_word+=':sudo_opt:'
next_word+=':start:'