From 53ac16e05d77db6b7aeb86e30805ded3b11056bf Mon Sep 17 00:00:00 2001
From: Vladimir Safonkin <vsafonkin@gmail.com>
Date: Fri, 19 Jun 2020 14:05:38 +0000
Subject: [PATCH] Use curl in download retry helper (#1079)

---
 images/linux/scripts/helpers/install.sh | 3 +--
 1 file changed, 1 insertion(+), 2 deletions(-)

diff --git a/images/linux/scripts/helpers/install.sh b/images/linux/scripts/helpers/install.sh
index 15c2e1a0..f638f065 100644
--- a/images/linux/scripts/helpers/install.sh
+++ b/images/linux/scripts/helpers/install.sh
@@ -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