From 2a78401884650a82bdb6b2ef5a846217ec98a248 Mon Sep 17 00:00:00 2001
From: Ben Sima <ben@bsima.me>
Date: Fri, 22 Jan 2021 07:17:57 -0500
Subject: Fix bad bash substitution

---
 Biz/Ide/post-checkout | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

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
-- 
cgit v1.2.3