diff options
| author | June McEnroe <june@causal.agency> | 2018-03-28 13:13:51 -0400 |
|---|---|---|
| committer | June McEnroe <june@causal.agency> | 2018-03-28 13:38:22 -0400 |
| commit | 2e5cdd8a31b440fc8e913579f5a5b4a369b3a293 (patch) | |
| tree | c131c733501905e0bb962bf1e91a33fea983261a /pdf.zsh | |
| parent | Sort extern crate lines with \c (diff) | |
| download | src-2e5cdd8a31b440fc8e913579f5a5b4a369b3a293.tar.gz src-2e5cdd8a31b440fc8e913579f5a5b4a369b3a293.zip | |
Use [[ ]] in zsh scripts
Diffstat (limited to 'pdf.zsh')
| -rwxr-xr-x | pdf.zsh | 2 |
1 files changed, 1 insertions, 1 deletions
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" } |