Send patches - preferably formatted by git format-patch - to patches at archlinux32 dot org.
summaryrefslogtreecommitdiff
path: root/build-isos
diff options
context:
space:
mode:
authorErich Eckner <git@eckner.net>2020-03-06 11:12:55 +0100
committerErich Eckner <git@eckner.net>2020-03-06 11:12:55 +0100
commit823380f86420fdc9ccfefde601a49d5f4837431d (patch)
tree5fa58fa56d7643fa0d4bd53f3ac302221045fe0b /build-isos
parentad4a77de2c3775d73ad8549995738a23dc6f0547 (diff)
build-isos: remove old isos from the mirror iff they are in the archive
Diffstat (limited to 'build-isos')
-rwxr-xr-xbuild-isos8
1 files changed, 8 insertions, 0 deletions
diff --git a/build-isos b/build-isos
index a637427..6843fe1 100755
--- a/build-isos
+++ b/build-isos
@@ -4,6 +4,7 @@
set -e
+archive='/mnt/archlinux32archive'
destination='/mnt/archlinux32/archisos'
base_dir=$(
readlink -e "${0%/*}"
@@ -74,6 +75,13 @@ case "$(hostname -s)" in
git -C "${base_dir}/../archweb32" commit 'download/index.html' -m 'download/index.html: new isos ('"${date}"')'
git -C "${base_dir}/../archweb32" push
+ find "${destination}" -name 'archlinux-*' -not -name 'archlinux-'"${date}"'-*' \
+ | while read -r to_delete; do
+ if diff -q "${to_delete}" "${archive}/iso/${to_delete#${destination}/}"; then
+ rm "${to_delete}"
+ fi
+ done
+
echo '... done.'
;;
'nlopc46')