Projet

Général

Profil

Révision 0d538451

ID0d5384516c1fb03eab411ac9bc9d42942fe304a4
Parent 1027f5e5
Enfant eb9681a7

Ajouté par Neraud il y a plus de 7 ans

Improved CONFIGURATION comment to better describe the user property

Voir les différences:

plugins/git/git_commit_behind
44 44 

  		




  45
  45
  
    
Use your "/etc/munin/plugin-conf.d/munin-node" to configure this plugin.


  		




  46
  46
  
    
    [git_commit_behind]


  		




  47
  
  
    
    user root


  		




  
  47
  
    
    user [user]


  		




  48
  48
  
    
    env.git_path /path/to/git


  		




  49
  49
  
    
    env.update.mode [munin|cron]


  		




  50
  50
  
    
    env.update.probability 12


  		




  51
  51
  
    
    env.update.maxinterval 7200


  		




  52
  52
  
    

  		




  53
  
  
    
user root : required (to be able to switch to each repo user)


  		




  
  53
  
    
user [user] : required, the owner of the repository checkouts


  		




  
  54
  
    
    in case of multiple different owners, use root


  		




  54
  55
  
    
env.git_path : optional (default : /usr/bin/git), the path to the git binary.


  		




  55
  56
  
    
env.update.mode : optional (default : munin), the update mode.


  		




  56
  57
  
    
    munin : repositories are git fetched during the pugin execution


  		












Formats disponibles :  Unified diff