diff options
| author | Ben Sima <ben@bsima.me> | 2021-01-22 07:17:57 -0500 |
|---|---|---|
| committer | Ben Sima <ben@bsima.me> | 2021-01-22 07:19:33 -0500 |
| commit | 2a78401884650a82bdb6b2ef5a846217ec98a248 (patch) | |
| tree | 8ee9d424831ffbe7cdda6c1b5936ac0d9b9af28a | |
| parent | 1b348bbe20f10ef3ad684a7e5dd5f4c114e733d2 (diff) | |
Fix bad bash substitution
| -rwxr-xr-x | Biz/Ide/post-checkout | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/Biz/Ide/post-checkout b/Biz/Ide/post-checkout index 636fad6..41ede59 100755 --- a/Biz/Ide/post-checkout +++ b/Biz/Ide/post-checkout @@ -11,7 +11,7 @@ changed=($(git diff --diff-filter=d --name-only $old $new -- '*.hs')) if [[ ! -r tags ]] then $init_tags -elif [[ ${#changed:-0} -gt 0 ]] +elif [[ ${#changed} -gt 0 ]] then $init_tags $changed fi |