diff options
author | Mattia Rizzolo <mattia@debian.org> | 2017-01-19 13:42:31 +0100 |
---|---|---|
committer | Holger Levsen <holger@layer-acht.org> | 2017-01-19 13:44:05 +0100 |
commit | f343a24122cbda223247f88f2d21bdae59057fe4 (patch) | |
tree | 3ce8366a3420053bfa51e493e56056761d655167 /userContent/presentations/2016-11-30-Profitbricks/lib/font | |
parent | 63dd7188c7608c7f90a0e4d2b2e4ed2d4ae5baf7 (diff) | |
download | jenkins.debian.net-f343a24122cbda223247f88f2d21bdae59057fe4.tar.xz |
munin: be sure to monitor the statuse of /
In jenkins.d.n this was excluded, probably becuase the same device is also
mounted under the schroots (?), and exclude_re exclude the schroot mount point,
and the regexp is applied way too broadly…
Signed-off-by: Holger Levsen <holger@layer-acht.org>
Diffstat (limited to 'userContent/presentations/2016-11-30-Profitbricks/lib/font')
0 files changed, 0 insertions, 0 deletions