diff options
Diffstat (limited to 'bin')
| -rwxr-xr-x | bin/reproducible_maintenance.sh | 7 |
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 |