Ci-dessous, les différences entre deux révisions de la page.
start:supervision:check_mk:ipmi [2012/12/28 12:01] domi créée |
start:supervision:check_mk:ipmi [2012/12/28 12:23] (Version actuelle) domi |
||
---|---|---|---|
Ligne 8: | Ligne 8: | ||
Nous utilisons une version patchée qui localise ce fichier de cache dans un sous-répertoire de ''/var/cache'' : | Nous utilisons une version patchée qui localise ce fichier de cache dans un sous-répertoire de ''/var/cache'' : | ||
- | <code> | + | <file diff agent_ipmitool-v2.patch> |
--- orig/check_mk_agent 2012-12-28 11:41:32.000000000 +0100 | --- orig/check_mk_agent 2012-12-28 11:41:32.000000000 +0100 | ||
+++ patched/check_mk_agent 2012-12-28 11:42:31.000000000 +0100 | +++ patched/check_mk_agent 2012-12-28 11:42:31.000000000 +0100 | ||
Ligne 33: | Ligne 33: | ||
# Do not use cache file after 20 minutes | # Do not use cache file after 20 minutes | ||
IPMI_MAXAGE=1200 | IPMI_MAXAGE=1200 | ||
- | </code> | + | </file> |