Send patches - preferably formatted by git format-patch - to patches at archlinux32 dot org.
summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorErich Eckner <git@eckner.net>2019-11-08 20:30:05 +0100
committerErich Eckner <git@eckner.net>2019-11-08 20:30:05 +0100
commit66f69f422b80cc28e93d9e54b7bd7fcd996daae0 (patch)
tree9b5a33b5cf0ef25d7b5fb06989214fea55d0ae77
parent1e1ee1a8c0304ff6bdf64e821ff80700d6f605d9 (diff)
bin/check-mirrors: iso might be from *any* date of month
-rwxr-xr-xbin/check-mirrors3
1 files changed, 2 insertions, 1 deletions
diff --git a/bin/check-mirrors b/bin/check-mirrors
index 5f9ba22..d0cb2cd 100755
--- a/bin/check-mirrors
+++ b/bin/check-mirrors
@@ -144,8 +144,9 @@ elif [ $# -eq 1 ]; then
curl -s "${ip_flag}" "${url}archisos/"
) || has_isos=0
for suffix in 'i686' 'dual'; do
+ # shellcheck disable=SC2059
if ! printf '%s\n' "${cnt}" | \
- grep -qF "$(date '+archlinux-%Y.%m.01-'"${suffix}"'.iso')"; then
+ grep -qF "$(printf "$(date '+archlinux-%Y.%m.%%02d-'"${suffix}"'.iso\n')" $(seq 31))" -; then
has_isos=0
break
fi