diff options
author | Holger Levsen <holger@layer-acht.org> | 2014-10-19 12:33:34 +0200 |
---|---|---|
committer | Holger Levsen <holger@layer-acht.org> | 2014-10-19 12:33:34 +0200 |
commit | 9dc10fa7d916b21694e0989051fb481ea8695a3c (patch) | |
tree | ab55ae3e701fca090ed018b5d87c3232b3aa6ea5 /bin/housekeeping.sh | |
parent | cc3f3adf7b8062005d9212b738c3235aba6c4b7e (diff) | |
download | jenkins.debian.net-9dc10fa7d916b21694e0989051fb481ea8695a3c.tar.xz |
housekeeping: clearer output
Diffstat (limited to 'bin/housekeeping.sh')
-rwxr-xr-x | bin/housekeeping.sh | 8 |
1 files changed, 6 insertions, 2 deletions
diff --git a/bin/housekeeping.sh b/bin/housekeeping.sh index 2bddfe18..7ec26851 100755 --- a/bin/housekeeping.sh +++ b/bin/housekeeping.sh @@ -6,6 +6,9 @@ . /srv/jenkins/bin/common-functions.sh common_init "$@" +# let's have readable output here +set +x + check_for_mounted_chroots() { CHROOT_PATTERN="/chroots/${1}-*" OUTPUT=$(mktemp) @@ -43,8 +46,9 @@ report_filetype_usage() { if [ "$3" = "warn" ] && [ -s $OUTPUT ] ; then echo "Warning: there are $2 files and there should not be any." cat $OUTPUT - echo "Checking for running QEMU processes:" - ps fax | grep [q]emu-system || true + echo + echo "Checking for running QEMU processes: (might be causing these files to be there right now)" + ps fax | grep [q]emu-system | grep -v grep || true else cat $OUTPUT fi |