refresh apt repos if needed
authorThierry Parmentelat <thierry.parmentelat@inria.fr>
Mon, 21 Jan 2013 09:18:35 +0000 (10:18 +0100)
committerThierry Parmentelat <thierry.parmentelat@inria.fr>
Mon, 21 Jan 2013 09:18:35 +0000 (10:18 +0100)
scripts/sfa-reindex-debian.sh [new file with mode: 0644]

diff --git a/scripts/sfa-reindex-debian.sh b/scripts/sfa-reindex-debian.sh
new file mode 100644 (file)
index 0000000..df2bb60
--- /dev/null
@@ -0,0 +1,7 @@
+# partial builds do not seem to index their output repos
+find_in=.
+[[ -n "$@" ]] && find_in="$@"
+for debian in $(find $find_in -name DEBIAN); do 
+    root=$(basename $debian)
+    echo "(cd $root; dpkg-scanpackages DEBIAN/ | gzip -c9 > Packages.gz)"
+done