diff -r 38cf339a6ad0 -r 61edd9d19e3c config/global/download.in --- a/config/global/download.in Sun Apr 19 16:59:40 2009 +0000 +++ b/config/global/download.in Wed Dec 30 15:36:22 2009 +0100 @@ -89,7 +89,7 @@ config CONNECT_TIMEOUT int - prompt "connection timeout" + prompt "Connection timeout" default 10 help From the curl manual: @@ -109,6 +109,21 @@ Note that this value applies equally to wget if you have that installed. +config DOWNLOAD_MAX_CHUNKS + int + prompt "Maximum number of // chunks" + default 5 + range 1 10 + help + If you have aria2 installed, then it will be used to download files. + Aria2 can split the download in chunks, and download those chunks in // + which can be interesting to speed up the download. + + On the other hand, using many chunks, or even chunking in general, may + be seen by some site admins as being kind of unfair, or even as a DoS. + That's why the range of acceptable values is [1..10], and the default + is 5 (aria2's default). + config ONLY_DOWNLOAD bool prompt "Stop after downloading tarballs"