Use curl in download retry helper (#1079)

This commit is contained in:
Vladimir Safonkin
2020-06-19 14:05:38 +00:00
committed by GitHub
parent b41fda16c1
commit 53ac16e05d

View File

@@ -16,8 +16,7 @@ download_with_retries() {
i=20
while [ $i -gt 0 ]; do
((i--))
wget $URL --output-document="$DEST/$NAME" \
--no-verbose
curl $URL -4 -s -o "$DEST/$NAME"
if [ $? != 0 ]; then
sleep 30
else