diff options
author | Mattia Rizzolo <mattia@debian.org> | 2017-09-10 10:35:19 +0200 |
---|---|---|
committer | Mattia Rizzolo <mattia@debian.org> | 2017-09-10 10:35:25 +0200 |
commit | bd9dc48101a1a679b7cbe3b3f159460dd0fac3b0 (patch) | |
tree | 9e9fa68bc007a4fc32243473fd4a3e2bbbcb8762 /hosts/rpi2c-armhf-rb/etc/apt | |
parent | f2fd19aeb5e92879f1775e1ff6330fca1c12b42c (diff) | |
download | jenkins.debian.net-bd9dc48101a1a679b7cbe3b3f159460dd0fac3b0.tar.xz |
munin: use the same df configuration in jenkins of all the other hosts
This actually fixes some things:
* includes / without any special include_re option
* includes /var/lib/jenkins/jobs previously excluded
* includes /var/lib/jenkins/userContent/reproducible previously excluded
That's because the "/dev" exclusion done before would exclude *all*
filesystems except tmpfs ones unless explcitly included.
Before and after this change:
mattia@jenkins ~ % sudo -u munin munin-run df
_dev_vda1.value 68.3826224440343
_tmp.value 0.114949544270833
_srv_workspace.value 7.53729629516602
mattia@jenkins ~ % sudo -u munin munin-run df
_dev_vda1.value 67.8452744054589
_tmp.value 0.114415486653646
_srv_workspace.value 6.10711669921875
_dev_vde1.value 46.6654873821986
_dev_mapper_reproducible_userContent.value 67.0841474271059
mattia@jenkins ~ %
Signed-off-by: Mattia Rizzolo <mattia@debian.org>
Diffstat (limited to 'hosts/rpi2c-armhf-rb/etc/apt')
0 files changed, 0 insertions, 0 deletions