From 28acfa9cd1cab6d281bde87cd748c5fe1aa6d2ef Mon Sep 17 00:00:00 2001 From: GuillaumeHold Date: Wed, 20 Mar 2024 16:57:01 +0100 Subject: [PATCH] fix(setup): fix download options --- scripts/setup.sh | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/scripts/setup.sh b/scripts/setup.sh index 61fbd67..f5d0175 100755 --- a/scripts/setup.sh +++ b/scripts/setup.sh @@ -339,7 +339,7 @@ download_tdp_binaries() { dest_file=$(jq -r "$file_query" "$downloads_file") echo "downloading : $dest_file" - wget -O "$dest_file" "$download_url" + wget --continue --output-document="files/${dest_file}" "$download_url" done }