commit 9866010b6ff56aff01b6433dae547965f8342147
parent 33771c4b9264037a30bc012923d0c1c146677288
Author: Anders Damsgaard <anders@adamsgaard.dk>
Date: Mon, 2 Nov 2020 18:30:07 +0100
plumb: fetch ftp:// URIs with curl
Diffstat:
1 file changed, 2 insertions(+), 1 deletion(-)
diff --git a/.local/bin/plumb b/.local/bin/plumb
@@ -46,7 +46,8 @@ termopen() {
fetch() {
_o="$(mktemp)"
- if command -v hurl >/dev/null 2>&1; then
+
+ if command -v hurl >/dev/null 2>&1 && ! regeximatch "$1" '^ftp:' ; then
$prefix hurl "$1" > "$_o" 2> /tmp/plumb_err
elif command -v curl >/dev/null 2>&1; then
$prefix curl -sL "$1" > "$_o" 2> /tmp/plumb_err