summaryrefslogtreecommitdiff
path: root/config
diff options
context:
space:
mode:
Diffstat (limited to 'config')
-rw-r--r--config/global/download_extract.in25
1 files changed, 25 insertions, 0 deletions
diff --git a/config/global/download_extract.in b/config/global/download_extract.in
index b23f88e..d638ab0 100644
--- a/config/global/download_extract.in
+++ b/config/global/download_extract.in
@@ -20,6 +20,31 @@ config ONLY_DOWNLOAD
Usefull to pre-retrieve the tarballs before going off-line.
+config CONNECT_TIMEOUT
+ 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.
+
choice
bool
prompt "Proxy type"