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

Merge 4df2949bc0 into 82df57dadf

This commit is contained in:
Musqz 2026-06-19 14:53:08 +01:00 committed by GitHub
parent 82df57dadf 4df2949bc0
commit cf4911f55f
No known key found for this signature in database
GPG Key ID: B5690EEEBB952194
1 changed files with 11 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

12
quickget
View File

@ -1464,7 +1464,17 @@ function web_get() {
echo "- URL: ${URL}"
fi
if ! curl --disable --progress-bar --location --output "${DIR}/${FILE}" --continue-at - --user-agent "${USER_AGENT}" "${HEADERS[@]}" -- "${URL}"; then
local PIPE_OPTS=()
if [ ! -t 1 ]; then
local CONTENT_LENGTH
CONTENT_LENGTH=$(curl --disable --silent --head --location \
--write-out '%{content_length_download}' --output /dev/null \
--user-agent "${USER_AGENT}" "${HEADERS[@]}" -- "${URL}" 2>/dev/null)
[ -n "${CONTENT_LENGTH}" ] && echo "content-length: ${CONTENT_LENGTH}"
PIPE_OPTS=("--stderr" "-")
fi
if ! curl --disable --progress-bar "${PIPE_OPTS[@]}" --location --output "${DIR}/${FILE}" --continue-at - --user-agent "${USER_AGENT}" "${HEADERS[@]}" -- "${URL}"; then
echo "ERROR! Failed to download ${URL} with curl."
rm -f "${DIR}/${FILE}"
exit 1