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 /bin/reproducible_installed_by_subgraphos | |
| 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 'bin/reproducible_installed_by_subgraphos')
0 files changed, 0 insertions, 0 deletions