diff options
author | Holger Levsen <holger@layer-acht.org> | 2014-11-01 17:23:41 +0100 |
---|---|---|
committer | Holger Levsen <holger@layer-acht.org> | 2014-11-01 17:23:41 +0100 |
commit | 46194b60fd8cbc82071cc4dd92ca19e2184990d4 (patch) | |
tree | bf54f5b0f21b91e8882e466ed472698c636d07f4 /bin/maintainance.sh | |
parent | 408da3c34c20570a48f9cae847268e111ebe788f (diff) | |
download | jenkins.debian.net-46194b60fd8cbc82071cc4dd92ca19e2184990d4.tar.xz |
g-i: keep .pngs to generate the video later, they're roughly 1% of the .ppm size
Diffstat (limited to 'bin/maintainance.sh')
-rwxr-xr-x | bin/maintainance.sh | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/bin/maintainance.sh b/bin/maintainance.sh index 85629757..02292c4e 100755 --- a/bin/maintainance.sh +++ b/bin/maintainance.sh @@ -60,10 +60,10 @@ report_disk_usage() { report_filetype_usage() { OUTPUT=$(mktemp) for JOB in $(cat $WATCHED_JOBS) ; do - if [ "$2" != "bak" ] && [ "$2" != "ppm" ] ; then + if [ "$2" != "bak" ] && [ "$2" != "png" ] ; then find /var/lib/jenkins/jobs/$JOB -type f -name "*.${2}" ! -path "*/archive/*" 2>/dev/null|xargs -r du -sch |grep total |sed -s "s#total#$JOB .$2 files#" >> $OUTPUT else - # find archived .bak + .ppm files too + # find archived .bak + .png files too find /var/lib/jenkins/jobs/$JOB -type f -name "*.${2}" 2>/dev/null|xargs -r du -sch |grep total |sed -s "s#total#$JOB .$2 files#" >> $OUTPUT fi done @@ -145,7 +145,7 @@ else echo report_disk_usage $1 report_filetype_usage $1 png - report_filetype_usage $1 ppm warn + report_filetype_usage $1 ppm warn # FIXME: remove this check in 3 days (and add warn to pngs) report_filetype_usage $1 bak warn report_filetype_usage $1 raw warn report_filetype_usage $1 iso warn |