feat: Set user agent for downloads

This commit is contained in:
Kroese 2025-04-20 11:28:53 +02:00 committed by GitHub
parent 33b08e250e
commit 9e0f826ac9
No known key found for this signature in database
GPG Key ID: B5690EEEBB952194

View File

@ -530,9 +530,10 @@ downloadFile() {
local lang="$5" local lang="$5"
local desc="$6" local desc="$6"
local msg="Downloading $desc" local msg="Downloading $desc"
local rc total total_gb progress domain dots space folder local rc total total_gb progress domain dots agent space folder
rm -f "$iso" rm -f "$iso"
agent=$(get_agent)
if [ -n "$size" ] && [[ "$size" != "0" ]]; then if [ -n "$size" ] && [[ "$size" != "0" ]]; then
folder=$(dirname -- "$iso") folder=$(dirname -- "$iso")
@ -561,7 +562,7 @@ downloadFile() {
info "$msg..." info "$msg..."
{ wget "$url" -O "$iso" -q --timeout=30 --no-http-keep-alive --show-progress "$progress"; rc=$?; } || : { wget "$url" -O "$iso" -q --timeout=30 --no-http-keep-alive --user-agent "$agent" --show-progress "$progress"; rc=$?; } || :
fKill "progress.sh" fKill "progress.sh"