diff options
| author | Carlo Sala <carlosalag@protonmail.com> | 2023-11-01 21:24:28 +0100 |
|---|---|---|
| committer | Carlo Sala <carlosalag@protonmail.com> | 2023-11-02 15:49:57 +0100 |
| commit | 632ed413a9ce62747ded83d7736491b081be4b49 (patch) | |
| tree | bcb054278db9584430ed1230cfab596c23b4a1b7 | |
| parent | 38c01a235fef0d990be5ece0d62f94fd06b10571 (diff) | |
| download | zsh-632ed413a9ce62747ded83d7736491b081be4b49.tar.gz zsh-632ed413a9ce62747ded83d7736491b081be4b49.tar.bz2 zsh-632ed413a9ce62747ded83d7736491b081be4b49.zip | |
fix(wd): use `(( ))` instead of `[[ ]]`
zsh versions prior to 5.0.6 mark `[[ <num> ]]` as invalid syntax
Closes #12017
| -rw-r--r-- | plugins/wd/wd.sh | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/plugins/wd/wd.sh b/plugins/wd/wd.sh index e51cf906a..840e92d61 100644 --- a/plugins/wd/wd.sh +++ b/plugins/wd/wd.sh @@ -396,7 +396,7 @@ fi # disable extendedglob for the complete wd execution time setopt | grep -q extendedglob wd_extglob_is_set=$? -[[ $wd_extglob_is_set ]] && setopt noextendedglob +(( ! $wd_extglob_is_set )) && setopt noextendedglob # load warp points typeset -A points @@ -484,7 +484,7 @@ fi # if not, next time warp will pick up variables from this run # 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_warp |