Browse Source

getsource.sh: increase timeout limit

master
Pekka Helenius 6 years ago
committed by GitHub
parent
commit
175eb13850
No known key found for this signature in database GPG Key ID: 4AEE18F83AFDEB23
1 changed files with 1 additions and 1 deletions
  1. +1
    -1
      tools/getsource.sh

+ 1
- 1
tools/getsource.sh View File

@ -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


Loading…
Cancel
Save