Skip to content

O
oh-my-zsh
Commit 632ed413 authored by Carlo Sala's avatar Carlo Sala
Browse files
Options

fix(wd): use `(( ))` instead of `[[ ]]`

zsh versions prior to 5.0.6 mark `[[ <num> ]]` as invalid syntax Closes #12017
parent 38c01a23
Hide whitespace changes
Inline Side-by-side
Showing with 2 additions and 2 deletions
plugins/wd/wd.sh
View file @ 632ed413
...@@ -396,7 +396,7 @@ fi ...@@ -396,7 +396,7 @@ fi
# disable extendedglob for the complete wd execution time # disable extendedglob for the complete wd execution time
setopt | grep -q extendedglob setopt | grep -q extendedglob
wd_extglob_is_set=$? wd_extglob_is_set=$?
[[ $wd_extglob_is_set ]] && setopt noextendedglob (( ! $wd_extglob_is_set )) && setopt noextendedglob
# load warp points # load warp points
typeset -A points typeset -A points
...@@ -484,7 +484,7 @@ fi ...@@ -484,7 +484,7 @@ fi
# if not, next time warp will pick up variables from this run # if not, next time warp will pick up variables from this run
# remember, there's no sub shell # remember, there's no sub shell
[[ $wd_extglob_is_set ]] && setopt extendedglob (( ! $wd_extglob_is_set )) && setopt extendedglob
unset wd_extglob_is_set unset wd_extglob_is_set
unset wd_warp unset wd_warp
......
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment