RomanNum3ral
/
quickemu
mirror of https://github.com/quickemu-project/quickemu.git
1
0
Fork 0
Code Issues Packages Projects Releases Wiki Activity

refactor: web_get() downloads with curl with fallback to wget on failure

This commit is contained in:
Martin Wimpress 2024-04-20 11:18:35 +01:00 committed by Martin Wimpress
parent 9e99b08a8c
commit 5396e86eec
1 changed files with 12 additions and 13 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

25
quickget
View File

@ -1489,22 +1489,21 @@ function web_get() {
echo "- URL: ${URL}" echo "- URL: ${URL}"
fi fi
if command -v curl &>/dev/null; then if ! curl --progress-bar --location --output "${DIR}/${FILE}" --continue-at - --user-agent "${USER_AGENT}" "${HEADERS[@]}" -- "${URL}"; then
if ! curl --progress-bar --location --output "${DIR}/${FILE}" --continue-at - --user-agent "${USER_AGENT}" "${HEADERS[@]}" -- "${URL}"; then echo "ERROR! Failed to download ${URL} with curl."
echo "ERROR! Failed to download ${URL} with curl." echo " Will try again with wget."
rm -f "${DIR}/${FILE}"
if command -v wget2 &>/dev/null; then
if ! wget2 --quiet --continue --tries=3 --read-timeout=10 --force-progress --progress=bar:force:noscroll "${URL}" -O "${DIR}/${FILE}" "${HEADERS[@]}"; then
echo "ERROR! Failed to download ${URL} with wget2."
echo " Try deleting '${DIR}/${FILE}' running 'quickget' again."
exit 1
fi
elif ! wget --quiet --continue --tries=3 --read-timeout=10 --show-progress --progress=bar:force:noscroll "${URL}" -O "${DIR}/${FILE}" "${HEADERS[@]}"; then
echo "ERROR! Failed to download ${URL} with wget."
echo " Try deleting '${DIR}/${FILE}' running 'quickget' again." echo " Try deleting '${DIR}/${FILE}' running 'quickget' again."
exit 1 exit 1
fi fi
elif command -v wget2 &>/dev/null; then
if ! wget2 --quiet --continue --tries=3 --read-timeout=10 --force-progress --progress=bar:force:noscroll "${URL}" -O "${DIR}/${FILE}" "${HEADERS[@]}"; then
echo "ERROR! Failed to download ${URL} with wget2."
echo " Try deleting '${DIR}/${FILE}' running 'quickget' again."
exit 1
fi
elif ! wget --quiet --continue --tries=3 --read-timeout=10 --show-progress --progress=bar:force:noscroll "${URL}" -O "${DIR}/${FILE}" "${HEADERS[@]}"; then
echo "ERROR! Failed to download ${URL} with wget."
echo " Try deleting '${DIR}/${FILE}' running 'quickget' again."
exit 1
fi fi
} }