summaryrefslogtreecommitdiffstats
path: root/bin
diff options
context:
space:
mode:
authorHolger Levsen <holger@layer-acht.org>2015-05-13 10:41:32 +0200
committerHolger Levsen <holger@layer-acht.org>2015-05-13 10:41:32 +0200
commit3661b23cb90402413b6b87bfbe198495da7dcc63 (patch)
treed1cc1e0bfdcab2f0f76ea9b3728e265a6cbd17d8 /bin
parent41bfd1086fc974c70c9644df7ee44abf4ce3affe (diff)
downloadjenkins.debian.net-3661b23cb90402413b6b87bfbe198495da7dcc63.tar.xz
reproducible: explain when there is the need for manual cleanup
Diffstat (limited to 'bin')
-rwxr-xr-xbin/reproducible_maintenance.sh7
1 files changed, 7 insertions, 0 deletions
diff --git a/bin/reproducible_maintenance.sh b/bin/reproducible_maintenance.sh
index 256347d8..45b1e1d5 100755
--- a/bin/reproducible_maintenance.sh
+++ b/bin/reproducible_maintenance.sh
@@ -54,6 +54,13 @@ if [ ! -z "$OLDSTUFF" ] ; then
echo "Warning: old schroots found in /schroots, which have been deleted:"
find /schroots/ -maxdepth 1 -type d -regextype posix-extended -regex "/schroots/reproducible-.*-[0-9]{1,5}" -mtime +2 -exec sudo rm -rf --one-file-system {} \;
echo "$OLDSTUFF"
+ OLDSTUFF=$(find /schroots/ -maxdepth 1 -type d -regextype posix-extended -regex "/schroots/reproducible-.*-[0-9]{1,5}" -mtime +2 -exec ls -lad {} \;)
+ if [ ! -z "$OLDSTUFF" ] ; then
+ echo
+ echo "Warning: Tried, but failed to delete these:"
+ echo "$OLDSTUFF"
+ echo "Manual cleanup needed!"
+ fi
echo
DIRTY=true
fi