# HG changeset patch # User "Yann E. MORIN" # Date 1399718017 -7200 # Node ID b571b3566915fea2e455f25a839467af582ce123 # Parent d7eaba5831d5c872e47442fc3253cbd3720a5e78 scripts: remove references to curl It's been a while we're not using curl anymore. Signed-off-by: "Yann E. MORIN" diff -r d7eaba5831d5 -r b571b3566915 config/global/download.in --- a/config/global/download.in Fri May 09 19:07:02 2014 -0700 +++ b/config/global/download.in Sat May 10 12:33:37 2014 +0200 @@ -30,8 +30,7 @@ prompt "Connection timeout" default 10 help - From the curl manual: - Maximum time in seconds that you allow the connection to the server to take. + Maximum time in seconds that you allow the connection to the server to take. The scenario is as follows; - some enterprise networks have firewalls that prohibit FTP traffic, while @@ -45,9 +44,7 @@ 10s. If you know a firewall is blocking connections, but your network is globally fast, you can try to lower this value to jump more quickly to allowed URLs. YMMV. - Note that this value applies equally to wget if you have that installed. - - If '-1' is specified, no timeout reconfiguration options are passed to wget/curl. + If '-1' is specified, no timeout reconfiguration options are passed to wget. config ONLY_DOWNLOAD bool diff -r d7eaba5831d5 -r b571b3566915 scripts/functions --- a/scripts/functions Fri May 09 19:07:02 2014 -0700 +++ b/scripts/functions Sat May 10 12:33:37 2014 +0200 @@ -571,7 +571,6 @@ # Some company networks have firewalls to connect to the internet, but it's # 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_CONNECT_TIMEOUT} = -1 ]; then T= else