Différences

Ci-dessous, les différences entre deux révisions de la page.

--- start:supervision:check_mk:ipmi [2012/12/28 12:01] – créée domi
+++ 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'' :
-<code>
+<file diff agent_ipmitool-v2.patch>
 --- orig/check_mk_agent	2012-12-28 11:41:32.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
      IPMI_MAXAGE=1200
-</code>
+</file>