From f824e5e84d6dcafa964a61373db94f60e7ad18a5 Mon Sep 17 00:00:00 2001 From: Julien Nicoulaud Date: Sat, 24 Sep 2011 14:42:55 +0200 Subject: [PATCH] Options should only be set locally --- highlighters/main/main-highlighter.zsh | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/highlighters/main/main-highlighter.zsh b/highlighters/main/main-highlighter.zsh index 708a501..7aede14 100755 --- 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