commit 68be8ccdabf4134a983d2643cc4a0be747634bef parent 610cbe7d82b48a362c7e7c902421692abc908dde Author: Anders Damsgaard <anders@adamsgaard.dk> Date: Thu, 4 Jun 2020 14:20:05 +0200 Merge branch 'master' of src.adamsgaard.dk:dotfiles Diffstat:
| M | .local/bin/plumb | | | 7 | +++---- |
1 file changed, 3 insertions(+), 4 deletions(-)
diff --git a/.local/bin/plumb b/.local/bin/plumb @@ -1,5 +1,4 @@ #!/bin/sh -set -e version=0.1 calendar="$HOME/.calendar/calendar" @@ -58,10 +57,10 @@ fetch() { if regeximatch "$1" "\.onion"; then prefix=torsocks fi - if type -v hurl >/dev/null 2>&1; then + if command -v hurl >/dev/null 2>&1; then $prefix hurl "$1" > "$_o" - elif type -v curl >/dev/null 2>&1; then - $prefix curl -L "$1" > "$_o" + elif command -v curl >/dev/null 2>&1; then + $prefix curl -sL "$1" > "$_o" else die 'could not find hurl or curl' fi