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 | 0460970a937191ee3ff70658503e7407d4cf6caa (patch) | |
| tree | b349321d4d920e9104603da0dd123079346b34eb /pdf.sh | |
| parent | Shorten .local ssh names (diff) | |
| download | src-0460970a937191ee3ff70658503e7407d4cf6caa.tar.gz src-0460970a937191ee3ff70658503e7407d4cf6caa.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" } |