_dl.sh: --retry-all-errors

the GitHub CI mac machine frequently gets a 403 for an API query on GitHub itself. Try retrying to see if it improves this.
curl · Oct 18, 2023 · 799ee87 · 799ee87
1 parent 9fdde52
commit 799ee87
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/_dl.sh b/_dl.sh
@@ -218,7 +218,7 @@ my_curl() {
   # >&2 echo "my_curl|$*|"
   curl --disable --user-agent '' --fail --silent --show-error --globoff \
     --remote-time --xattr \
-    --connect-timeout 15 --max-time 60 --retry 3 --max-redirs 10 "$@"
+    --connect-timeout 15 --max-time 60 --retry 3 --retry-all-errors --max-redirs 10 "$@"
 }
 
 my_gpg() {