Commit 00400ad4 authored by Holger Levsen's avatar Holger Levsen
Browse files

jenkins-shell-monitor.sh: include some directory stats which have been problematic in the past 



Signed-off-by: default avatarHolger Levsen <holger@layer-acht.org>
parent 48a18e51

bin/jenkins-shell-monitor.sh

+4 −1
Original line number Diff line number Diff line 
#!/bin/bash

# vim: set noexpandtab:



# Copyright © 2020-2022 Holger Levsen (holger@layer-acht.org)

# Copyright © 2020-2023 Holger Levsen (holger@layer-acht.org)

# released under the GPLv2

#

#
@@ -77,6 +77,9 @@ main_loop() { 
			fi

			printf  "%-45s %-5s %-${WIDTH}s %s\n" $FILESYSTEM_MOUNTPOINT $FILESYSTEM_SIZE $FILESYSTEM_AVAIL $FILESYSTEM_USAGE

		done

		# include some directory stats which have been problematic in the past

		du -sh /srv/reproducible-results/rbuild-debian 2>/dev/null

		( cd /var/lib/jenkins/userContent/reproducible/debian ; du -sh dbdtxt/stretch/ dbdtxt/buster/ dbdjson/stretch/ dbdjson/buster/ 2>/dev/null )

	) > $DISKSTATS

	SOME_AGE="$(date -u)"

	for i in $SEQ1 ; do