build-isos: remove old isos from the mirror iff they are in the archive

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')