diff options
| author | June McEnroe <june@causal.agency> | 2018-08-16 18:00:42 -0400 |
|---|---|---|
| committer | June McEnroe <june@causal.agency> | 2018-08-16 18:00:42 -0400 |
| commit | 1750a4cc5e03521fb85932a14d1cf271d27ec1ea (patch) | |
| tree | 3aa012b9adf711d9378094ae5d94f8d0b94658f5 /pdf.sh | |
| parent | Shorten .local ssh names (diff) | |
| download | src-1750a4cc5e03521fb85932a14d1cf271d27ec1ea.tar.gz src-1750a4cc5e03521fb85932a14d1cf271d27ec1ea.zip | |
Port all scripts to sh
Not hard, but having to escape ( ) inside [ ] had me confused for a bit.
Diffstat (limited to '')
| -rwxr-xr-x | pdf.sh (renamed from pdf.zsh) | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/pdf.zsh b/pdf.sh index 25458dfa..90c73de1 100755 --- a/pdf.zsh +++ b/pdf.sh @@ -1,10 +1,10 @@ -#!/usr/bin/env zsh -set -o errexit -o nounset -o pipefail +#!/bin/sh +set -e -u mkdir -p pdf fetch() { - [[ -f "pdf/$1" ]] && return + [ -f "pdf/$1" ] && return curl --silent --show-error --output "pdf/$1" "$2" echo "pdf/$1" } |