From 2e5cdd8a31b440fc8e913579f5a5b4a369b3a293 Mon Sep 17 00:00:00 2001
From: June McEnroe <june@causal.agency>
Date: Wed, 28 Mar 2018 13:13:51 -0400
Subject: Use [[ ]] in zsh scripts

---
 pdf.zsh | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'pdf.zsh')

diff --git a/pdf.zsh b/pdf.zsh
index a04eda66..79e3309c 100755
--- a/pdf.zsh
+++ b/pdf.zsh
@@ -4,7 +4,7 @@ set -o errexit -o nounset -o pipefail
 mkdir -p pdf
 
 fetch() {
-    [ -f "pdf/$1" ] && return
+    [[ -f "pdf/$1" ]] && return
     curl --silent --show-error --output "pdf/$1" "$2"
     echo "pdf/$1"
 }
-- 
cgit 1.4.1