allow grab to use curl

2024-05-05 04:53:22 -07:00 · 2024-03-25 16:11:39 -07:00 · 2024-03-25 16:11:39 -07:00 · 09fe2321f8
parent daae1412d0
commit 09fe2321f8
1 changed files with 4 additions and 1 deletions
--- a/sh/grab
+++ b/sh/grab
@ -24,7 +24,10 @@ printf "failed to %s\n" "$task" >&2
 exit ${x:-1}
 }
 get(){
-wget -qt1 -T5 -O "$@"
+if [ -f /usr/bin/curl ]
+then curl -sSm5 -o "$@"
+else wget -qt1 -T5 -O "$@"
+fi
 }
 clean(){
 will clean up temporary files