From: Thierry Parmentelat <thierry.parmentelat@inria.fr>
Date: Mon, 21 Jan 2013 09:18:35 +0000 (+0100)
Subject: refresh apt repos if needed
X-Git-Url: http://git.onelab.eu/?a=commitdiff_plain;h=da22f5036fad63f4c1872c27b083ef8db905b6be;p=infrastructure.git

refresh apt repos if needed
---

diff --git a/scripts/sfa-reindex-debian.sh b/scripts/sfa-reindex-debian.sh
new file mode 100644
index 0000000..df2bb60
--- /dev/null
+++ b/scripts/sfa-reindex-debian.sh
@@ -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