Options should only be set locally

2011-09-24 14:42:55 +02:00 · 2011-09-24 14:42:55 +02:00 · f824e5e84d
parent 024c1c46f7
commit f824e5e84d
1 changed files with 1 additions and 1 deletions
--- a/highlighters/main/main-highlighter.zsh
+++ b/highlighters/main/main-highlighter.zsh
@ -153,7 +153,7 @@ _zsh_highlight_main_highlighter_check_assign()
 # Check if the argument is a path.
 _zsh_highlight_main_highlighter_check_path()
 {
-  setopt nonomatch
+  setopt localoptions nonomatch
  local expanded_path; : ${expanded_path:=${(Q)~arg}}
  [[ -z $expanded_path ]] && return 1
  [[ -e $expanded_path ]] && return 0