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>

0 files changed, 0 insertions, 0 deletions