add helper to clean old metadata in repository

2 files changed, 44 insertions, 0 deletions

diff --git a/cleanoldmeta b/cleanoldmeta
new file mode 100755
index 0000000..21714a9
--- /dev/null
+++ b/cleanoldmeta
@@ -0,0 +1,43 @@
+#!/usr/bin/php
+<?php
+define('KEEP', 8);
+
+function clean ($path) {
+	if (!is_dir($path) || !is_file("$path/repomd.xml")) {
+		echo "** $path is not a repodata directory\n";
+		return;
+	}
+	$path = realpath($path);
+	echo "+ Clean old metadata in $path\n";
+	$dir = new DirectoryIterator($path);
+	$tab = [];
+	foreach ($dir as $file) {
+		if (!$file->isFile()) {
+			continue;
+		}
+		if (preg_match("/^[^-]*-(.*)$/", $file->getFilename(), $reg)) {
+			$n = $reg[1];
+			$tab[$n][$file->getMtime()] = $file->getFilename();
+		}
+	}
+	foreach ($tab as $n => $files) {
+		if (count($tab[$n]) > KEEP) {
+			echo "  $n\n";
+			krsort($tab[$n]);
+			while (count($tab[$n]) > KEEP) {
+				$f = array_pop($tab[$n]);
+				if (unlink("$path/$f")) {
+					echo "    $f\n";
+				}
+			}
+		}
+	}
+}
+
+if ($_SERVER['argc'] < 2) {
+	die("\nusage {$_SERVER['argv'][0]} path/to/repodata\n");
+}
+
+for ($i=1 ; $i<$_SERVER['argc'] ; $i++) {
+	clean($_SERVER['argv'][$i]);
+}
diff --git a/mkrepo b/mkrepo
index 7872a08..aa0f86c 100755
--- a/mkrepo
+++ b/mkrepo
@@ -61,6 +61,7 @@ if [ "$dis" == "fedora" -a "$ver" -ge 99 ]; then
                --compress-type=bz2   \
                --database $(pwd)
 else
+  cleanoldmeta repodata
   echo "+ Génération repodata (createrepo, $check)"
     createrepo --workers 4 		 \
                --cachedir $cache 	 \