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 /cucumber/features/images/d-i_gui_InstallGRUB-heading.png | |
| 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 'cucumber/features/images/d-i_gui_InstallGRUB-heading.png')
0 files changed, 0 insertions, 0 deletions