From 7e07a5043b53076140a7ac3fe4c71daad5fa7ea7 Mon Sep 17 00:00:00 2001
From: "Yann E. MORIN\"" <yann.morin.1998@anciens.enib.fr>
Date: Mon, 7 Nov 2011 21:40:28 +0100
Subject: scripts: use wget, not curl

It seems wget is more popular than curl.

Signed-off-by: "Yann E. MORIN" <yann.morin.1998@anciens.enib.fr>
---
 scripts/functions | 9 ++++-----
 1 file changed, 4 insertions(+), 5 deletions(-)

(limited to 'scripts/functions')

diff --git a/scripts/functions b/scripts/functions
index 63c0423f..46955a8f 100644
--- a/scripts/functions
+++ b/scripts/functions
@@ -457,11 +457,10 @@ CT_DoGetFile() {
     # not easy to detect them, so force a global ${CT_CONNECT_TIMEOUT}-second
     # timeout.
     # For curl, no good progress indicator is available. So, be silent.
-    if CT_DoExecLog ALL curl --ftp-pasv                                 \
-                             --retry 3                                  \
-                             --connect-timeout ${CT_CONNECT_TIMEOUT}    \
-                             --location --fail --silent                 \
-                             --output "${tmp}"                          \
+    if CT_DoExecLog ALL wget --passive-ftp --tries=3 -nc    \
+                             --progress=dot:binary          \
+                             -T ${CT_CONNECT_TIMEOUT}       \
+                             -O "${tmp}"                    \
                              "${url}"
     then
         # Success, we got it, good!
-- 
cgit v1.2.3