sudo/redirections: Fix remaining part of issue #221, "sudo and redirection don't mix".
This commit is contained in:
		
							parent
							
								
									0d1bfbcbfa
								
							
						
					
					
						commit
						86e9249709
					
				|  | @ -189,7 +189,8 @@ _zsh_highlight_main_highlighter() | ||||||
|       if [[ $this_word == *':sudo_opt:'* ]]; then |       if [[ $this_word == *':sudo_opt:'* ]]; then | ||||||
|         case "$arg" in |         case "$arg" in | ||||||
|           # Flag that requires an argument |           # Flag that requires an argument | ||||||
|           '-'[Cgprtu]) next_word=':sudo_arg:';; |           '-'[Cgprtu]) this_word=${this_word//:start:/}; | ||||||
|  |                        next_word=':sudo_arg:';; | ||||||
|           # This prevents misbehavior with sudo -u -otherargument |           # This prevents misbehavior with sudo -u -otherargument | ||||||
|           '-'*)        next_word+=':sudo_opt:';; |           '-'*)        next_word+=':sudo_opt:';; | ||||||
|           *)           this_word+=':start:';; |           *)           this_word+=':start:';; | ||||||
|  |  | ||||||
|  | @ -33,7 +33,7 @@ expected_region_highlight=( | ||||||
|   "1 4 $ZSH_HIGHLIGHT_STYLES[precommand]" # sudo |   "1 4 $ZSH_HIGHLIGHT_STYLES[precommand]" # sudo | ||||||
|   "6 6 $ZSH_HIGHLIGHT_STYLES[redirection]" # > |   "6 6 $ZSH_HIGHLIGHT_STYLES[redirection]" # > | ||||||
|   "7 10 $ZSH_HIGHLIGHT_STYLES[path]" # /tmp |   "7 10 $ZSH_HIGHLIGHT_STYLES[path]" # /tmp | ||||||
|   "12 13 $ZSH_HIGHLIGHT_STYLES[single-hyphen-option] 'issue #221'" # -u |   "12 13 $ZSH_HIGHLIGHT_STYLES[single-hyphen-option]" # -u | ||||||
|   "15 23 $ZSH_HIGHLIGHT_STYLES[default]" # otheruser |   "15 23 $ZSH_HIGHLIGHT_STYLES[default]" # otheruser | ||||||
|   "25 26 $ZSH_HIGHLIGHT_STYLES[command]" # ls |   "25 26 $ZSH_HIGHLIGHT_STYLES[command]" # ls | ||||||
| ) | ) | ||||||
|  |  | ||||||
		Loading…
	
		Reference in New Issue