From 3085939e350e45d35a915c0ef3c58185a8f25e43 Mon Sep 17 00:00:00 2001 From: stormdragon2976 Date: Wed, 8 Feb 2023 16:03:14 -0500 Subject: [PATCH] Add some flags to make curl try harder to download files for those hosts that are less than reliable. --- audiogame-manager.sh | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/audiogame-manager.sh b/audiogame-manager.sh index 284ac3d..2c7747f 100755 --- a/audiogame-manager.sh +++ b/audiogame-manager.sh @@ -291,7 +291,7 @@ download() { fi # Skip if the item is in cache. test -e "${cache}/${dest}" && continue - if ! curl -L4 --output "${cache}/${dest}" "${i}" ; then + if ! curl -L4 -C - --retry 10 --output "${cache}/${dest}" "${i}" ; then echo "Could not download \"$i\"..." exit 1 fi @@ -437,7 +437,7 @@ echo "Loading documentation, please wait..." local gameDoc="$(find "$gamePath" -type f -iname 'user_manual.html' -or -iname 'user_manual.htm' | head -1)" # Game name specific docs, add the name to the for loop. if [[ -z "$gameDoc" ]]; then - for i in "troopanum.txt" ; do + for i in "troopanum.txt" "superdeekout.txt" ; do gameDoc="$(find "$gamePath" -type f -iname "$i" -or -iname 'manual.htm' | head -1)" done fi