`632ed413a9ce62747ded83d7736491b081be4b49`

Author: Carlo Sala <carlosalag@protonmail.com>
Committer: Carlo Sala <carlosalag@protonmail.com>
Date: 2023-11-02 14:49 UTC

Message

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

zsh versions prior to 5.0.6 mark `[[ <num> ]]` as invalid syntax

Closes #12017

Diff

 1diff --git a/plugins/wd/wd.sh b/plugins/wd/wd.sh
 2index e51cf906a780de5dccdf4f9ed591f1ecab41c75c..840e92d6159e9debc74d6c77a59dce47ac2281eb 100644
 3--- a/plugins/wd/wd.sh
 4+++ b/plugins/wd/wd.sh
 5@@ -396,7 +396,7 @@ fi
 6 # disable extendedglob for the complete wd execution time
 7 setopt | grep -q extendedglob
 8 wd_extglob_is_set=$?
 9-[[ $wd_extglob_is_set ]] && setopt noextendedglob
10+(( ! $wd_extglob_is_set )) && setopt noextendedglob
11 
12 # load warp points
13 typeset -A points
14@@ -484,7 +484,7 @@ fi
15 # if not, next time warp will pick up variables from this run
16 # remember, there's no sub shell
17 
18-[[ $wd_extglob_is_set ]] && setopt extendedglob
19+(( ! $wd_extglob_is_set )) && setopt extendedglob
20 
21 unset wd_extglob_is_set
22 unset wd_warp