sudo/redirections: Fix remaining part of issue #221, "sudo and redirection don't mix".

2015-10-28 13:06:30 +02:00
parent 0d1bfbcbfa
commit 86e9249709
2 changed files with 3 additions and 2 deletions
--- a/highlighters/main/main-highlighter.zsh
+++ b/highlighters/main/main-highlighter.zsh
@@ -189,7 +189,8 @@ _zsh_highlight_main_highlighter()
      if [[ $this_word == *':sudo_opt:'* ]]; then
        case "$arg" in
          # 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
          '-'*)        next_word+=':sudo_opt:';;
          *)           this_word+=':start:';;