diff options
Diffstat (limited to 'bin/reproducible_maintenance.sh')
| -rwxr-xr-x | bin/reproducible_maintenance.sh | 13 |
1 files changed, 13 insertions, 0 deletions
diff --git a/bin/reproducible_maintenance.sh b/bin/reproducible_maintenance.sh index 80a8f0fc..0991985f 100755 --- a/bin/reproducible_maintenance.sh +++ b/bin/reproducible_maintenance.sh @@ -181,6 +181,8 @@ fi set -e # delete old temp directories +# (delete this by the end of Feb 2017 after there are no more stale dirs in +# $REP_RESULTS and everything moved into $REP_RESULSTS/rbuild-debian/) echo "$(date -u) - Deleting temp directories, older than 3 days." OLDSTUFF=$(find $REP_RESULTS -maxdepth 1 -type d -mtime +2 -name "tmp.*" -o -mtime +2 -name "rbuild*" -exec ls -lad {} \; || true) if [ ! -z "$OLDSTUFF" ] ; then @@ -190,6 +192,16 @@ if [ ! -z "$OLDSTUFF" ] ; then echo "These old directories have been deleted." echo DIRTY=true +# delete old temp directories +echo "$(date -u) - Deleting temp directories, older than 3 days." +OLDSTUFF=$(find $REP_RESULTS/rbuild-debian -maxdepth 1 -type d -mtime +2 -name "tmp.*" -exec ls -lad {} \; || true) +if [ ! -z "$OLDSTUFF" ] ; then + echo + echo "Old temp directories found in $REP_RESULTS/rbuild-debian" + find $REP_RESULTS/rbuild-debian -maxdepth 1 -type d -mtime +2 -name "tmp.*" -exec rm -rv {} \; || true + echo "These old directories have been deleted." + echo + DIRTY=true fi # delete old pbuilder build directories @@ -348,6 +360,7 @@ if [ "$HOSTNAME" = "$MAINNODE" ] ; then fi rm $PACKAGES + find $REP_RESULTS/rbuild-debian -maxdepth 1 -type d -mtime +2 -name "tmp.*" -exec rm -rv {} \; || true # # delete jenkins html logs from reproducible_builder_* jobs as they are mostly redundant # (they only provide the extended value of parsed console output, which we dont need here.) |