From 3ddb974a3d21262f6b5de933325c744117ba0adb Mon Sep 17 00:00:00 2001 From: Matthew Martin Date: Sun, 25 Mar 2018 21:42:57 -0500 Subject: [PATCH] main: Remove needless code The below code handles this case. --- highlighters/main/main-highlighter.zsh | 7 ------- 1 file changed, 7 deletions(-) diff --git a/highlighters/main/main-highlighter.zsh b/highlighters/main/main-highlighter.zsh index 8b9a2aa..00c6838 100644 --- a/highlighters/main/main-highlighter.zsh +++ b/highlighters/main/main-highlighter.zsh @@ -610,13 +610,6 @@ _zsh_highlight_main_highlighter_highlight_list() fi } - # Special-case the first word after 'sudo'. - if (( ! in_redirection )); then - if [[ $this_word == *':sudo_opt:'* ]] && [[ $arg != -* ]]; then - this_word=${this_word//:sudo_opt:/} - fi - fi - # Parse the sudo command line if (( ! in_redirection )); then if [[ $this_word == *':sudo_opt:'* ]]; then