path: root/config/global
diff options
authorYann E. MORIN" <>2008-05-06 20:30:49 (GMT)
committerYann E. MORIN" <>2008-05-06 20:30:49 (GMT)
commit770bed1f53afed679f938d2b8521f667d8cbdf86 (patch)
treeb7aa3b123a031c827efb41ae9c4927897c044b5d /config/global
parent281eb725420a8c1a97cbe34df14e5fd74950d4b5 (diff)
Add a new option to set connection timeout while downloading.
/trunk/scripts/functions | 16 8 8 0 ++++++++-------- /trunk/config/global/ | 25 25 0 0 +++++++++++++++++++++++++ 2 files changed, 33 insertions(+), 8 deletions(-)
Diffstat (limited to 'config/global')
1 files changed, 25 insertions, 0 deletions
diff --git a/config/global/ b/config/global/
index b23f88e..d638ab0 100644
--- a/config/global/
+++ b/config/global/
@@ -20,6 +20,31 @@ config ONLY_DOWNLOAD
Usefull to pre-retrieve the tarballs before going off-line.
+ int
+ prompt "connection timeout"
+ default 10
+ help
+ From the curl manual:
+ 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
+ still allowing HTTP
+ - most download sites have http:// equivalent for the ftp:// URL
+ - after this number of seconds, it is considered that the connection could
+ not be established, and the next URL in the list is tried, until we reach
+ an URL that will go through the firewall, most probably an http:// URL.
+ If you have a slow network, you'd better set this value higher than the default
+ 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.
+ Of course, you'd be better off to use a proxy, as offered by the following
+ choice of options.
prompt "Proxy type"