diff options
author | Mattia Rizzolo <mattia@debian.org> | 2017-02-16 16:44:09 +0100 |
---|---|---|
committer | Holger Levsen <holger@layer-acht.org> | 2017-02-17 12:31:56 +0100 |
commit | db442af7449a95fded588e4b3f54ec2bd69010a6 (patch) | |
tree | 02239973bfc2ee562f989374abe4b43c45dc4cd5 /bin/reproducible_maintenance.sh | |
parent | a95f921fd6423c47a564f5f4f9e38397f6225a16 (diff) | |
download | jenkins.debian.net-db442af7449a95fded588e4b3f54ec2bd69010a6.tar.xz |
reproducible debian: move the temporary rbuild directories into a rbuild-debian directory
this is to avoid having thousands of temporary directories mixed with few non-temporary ones in /srv/reproducible-builds
Signed-off-by: Holger Levsen <holger@layer-acht.org>
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.) |