diff options
| author | Erich Eckner <git@eckner.net> | 2020-07-13 15:09:08 +0200 |
|---|---|---|
| committer | Erich Eckner <git@eckner.net> | 2020-07-13 15:09:08 +0200 |
| commit | 7456d6867b81374a3a41dd08b3b1a3028f776c16 (patch) | |
| tree | 78cf5e1bc763485764994e585c5548d3493ad8e6 | |
| parent | 86a12aa4f922e9095919d2d4ac643583e8304415 (diff) | |
| download | arch-mirror-7456d6867b81374a3a41dd08b3b1a3028f776c16.tar.xz | |
arch-mirror: really no timeout when pulling archlinux32
| -rwxr-xr-x | arch-mirror | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/arch-mirror b/arch-mirror index 72d7fbf..a5b3181 100755 --- a/arch-mirror +++ b/arch-mirror @@ -76,16 +76,16 @@ retrieve_content() { if [ -z "${destination##*/archlinux32/}" ]; then unset timeout else - timeout="${total_timeout}" + timeout="timeout ${total_timeout}" fi case "${url%%://*}" in 'rsync') - timeout ${timeout} rsync ${rsync_options} ${rsync_verbose} ${extra_options} "${url}" "${destination}" \ + ${timeout} rsync ${rsync_options} ${rsync_verbose} ${extra_options} "${url}" "${destination}" \ || return $? ;; 'https'|'http') - timeout ${timeout} wget --mirror --prefer-family=Ipv4 -nH -np ${wget_verbose} -P "${destination}" --cut-dirs $( + ${timeout} wget --mirror --prefer-family=Ipv4 -nH -np ${wget_verbose} -P "${destination}" --cut-dirs $( echo "${url#*//}" \ | tr -d '\n' \ | tr '/' '\n' \ |