index : builder | |
Archlinux32 build system | gitolite user |
summaryrefslogtreecommitdiff |
author | Erich Eckner <git@eckner.net> | 2020-01-03 15:17:19 +0100 |
---|---|---|
committer | Erich Eckner <git@eckner.net> | 2020-01-03 15:17:19 +0100 |
commit | 4715844cc31eb774c912839c5e37895d311b42a4 (patch) | |
tree | 49d72d0041287fbfb988ca47f350c5549c3739da | |
parent | 8c51daf86f77a4c9c945b162332523448dda9d26 (diff) |
-rwxr-xr-x | bin/build-packages | 4 |
diff --git a/bin/build-packages b/bin/build-packages index 8e16e60..63c9301 100755 --- a/bin/build-packages +++ b/bin/build-packages @@ -700,14 +700,14 @@ while [ "${count}" -ne 0 ] && \ s/\$repo/'"${repository}"'/g s/\$arch/x86_64/g p - ' | \ - shuf + ' } | \ sed ' s|$|/'"${pkg_file}"'| s/\.[0-9]\+\(-[^-]\+\)$/\1/ s/-'"${arch}"'\+\(\.pkg\.tar\.zst\)$/-x86_64\1/ ' | \ + shuf -n 100 | \ while read -r url; do >&2 printf 'downloading "%s" ...' "${url}" if wget -q --timeout=15 -nd "${url}"; then |