From 7da63546b1beae672de70d2d094c9c4d1161c51f Mon Sep 17 00:00:00 2001
From: Erich Eckner <git@eckner.net>
Date: Wed, 15 Jul 2020 14:45:47 +0200
Subject: arch-mirror: clean up pool directory, too

---
 arch-mirror | 20 ++++++++++++++++++++
 1 file changed, 20 insertions(+)

diff --git a/arch-mirror b/arch-mirror
index 751aba8..683367e 100755
--- a/arch-mirror
+++ b/arch-mirror
@@ -221,6 +221,26 @@ remove_unindexed_packages() {
     | uniq -u \
     | xargs -r rm
   done
+  find "$1" \
+    -type d \
+    -name pool \
+    -printf '%p\n' \
+  | while read -r pool; do
+    {
+      find "${pool%/*}" \
+        -name 'pool' -prune , \
+        -type l \
+        -name '*.pkg*' \
+        -readlink -e {} + \
+        grep '^'"${pool}"'/'
+      find "${pool}" \
+        -type f \
+        -printf '%p\n'
+    } \
+    | sort \
+    | uniq -u \
+    | xargs -r rm
+  done
   find "$1" \
     -name '.~tmp~' -prune , \
     -name '*.db' -printf '%p\n' \
-- 
cgit v1.2.3-54-g00ecf