From 175eb13850b7c817caee7a67ecc18db740ed2fd0 Mon Sep 17 00:00:00 2001 From: Pekka Helenius Date: Fri, 12 Oct 2018 21:53:02 +0300 Subject: [PATCH] getsource.sh: increase timeout limit --- tools/getsource.sh | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/tools/getsource.sh b/tools/getsource.sh index 8619a79..cf6ab59 100755 --- a/tools/getsource.sh +++ b/tools/getsource.sh @@ -83,7 +83,7 @@ function arch_repos_deepscan() { ARCH_DB_URL="https://www.archlinux.org/packages/$ARCH_DB/x86_64/$CURDIR" - wget -q -T 5 "$ARCH_DB_URL" -o - + wget -q -T 10 "$ARCH_DB_URL" -o - if [[ $? -eq 0 ]]; then wget -q "$ARCH_DB_URL" mv ./$CURDIR ./baseurl_2.html