Merge branch 'master' into perso

Conflicts:
	.ssh/config

diff --git a/.procmailrc b/.procmailrc
index c048e240c422bed963aadd6fe4c4af888b59ec6d..f7d5658d4e1f9cd27d272a81ac341fb7fc40de44 100644 (file)
--- a/.procmailrc
+++ b/.procmailrc
@@ -86,7 +86,18 @@
 # ./|    |
 # ./|    |-[*+B] federez
 # ./|    |-[F] admin
-# ./|    |-[(F)] monit
+# ./|    |  |
+# ./|    |  |-[F] Debian updates
+# ./|    |  |
+# ./|    |  |-[F] federezpasswords
+# ./|    |  |
+# ./|    |  |-[F] Logcheck
+# ./|    |  |
+# ./|    |  |-[F] Logwatch
+# ./|    |
+# ./|    |-[(F)] Monit
+# ./|    |
+# ./|    |-[(F)] saclay
 # ./|
 # ./|
 # ./|-[$*+BM] Surveillance (on stalke, pour vérifier ce que font les autres)
@@ -247,6 +258,7 @@ MLCLUBSDIR="${MLCAMPUSDIR}.Clubs"
 MLMEDDIR="${MLCLUBSDIR}.Med"
 MLBDLDIR="${MLCAMPUSDIR}.BDL"
 MLBDADIR="${MLCAMPUSDIR}.BDA"
+MLBDSDIR="${MLCAMPUSDIR}.BDS"
 MLSDADIR="${MLCAMPUSDIR}.SDA"
 MLGALADIR="${MLCAMPUSDIR}.Gala"
 MLSONODIR="${MLCAMPUSDIR}.SoNo"
@@ -348,8 +360,14 @@ FREEBOXDIR="${TECHNIQUEDIR}.Freebox"
 ROOTDEFAULTDIR="${TECHNIQUEDIR}.root"
 
 ### Dossier racine pour Federez
-FEDEREZDIR="${CRANS_FOLDER}.FedeRez"
+FEDEREZDIR=".FedeRez"
 FEDEREZMONITDIR="${FEDEREZDIR}.Monit"
+FEDEREZADMINDIR="${FEDEREZDIR}.admin"
+FEDEREZLOGWATCHDIR="${FEDEREZADMINDIR}.Logwatch"
+FEDEREZLOGCHECKDIR="${FEDEREZADMINDIR}.Logcheck"
+FEDEREZDEBIANDIR="${FEDEREZADMINDIR}.Debian-updates"
+FEDEREZPASSWORDSDIR="${FEDEREZADMINDIR}.federezpasswords"
+FEDEREZOVHDIR="${FEDEREZADMINDIR}.OVH"
 
 
 
@@ -398,7 +416,7 @@ INCLUDERC="${CONFIGDIR}/custom.high.rules"
 :0
 * ^(X-Mailer|User-Agent):.*monit
 {
-  # Avant de tester les hotsnames Cr@ns, règle spéciale utile pour
+  # Avant de tester les hostnames Cr@ns, règle spéciale utile pour
   # certains admin de FedeRez
   :0
   * ^To: federez-monit@
@@ -841,6 +859,11 @@ INCLUDERC="${CONFIGDIR}/custom.normal.rules"
     * ? echo "${ML}" | egrep "(bdl|interludes)"
     ${MLBDLDIR}.${ML_}/
     
+    # MLs BDS
+    :0
+    * ? echo "${ML}" | egrep "bds"
+    ${MLBDSDIR}.${ML_}/
+    
     # MLs Gala
     :0
     * ? echo "${ML}" | egrep "(gala|geec)"
@@ -873,15 +896,43 @@ INCLUDERC="${CONFIGDIR}/custom.normal.rules"
   #################################################################
   ##             Gestion des mailing-listes FedeRez              ##
   #################################################################
-  # On veut ne garder que le nom de la ML sans le nom de domaine
-  ML=`echo "${ML}" | sed 's/\.lists\.federez\.net//'`
-  # On prend garde à ne pas créer un sous-dossier
-  # si jamais le List-Id contient un . ou un espace
-  ML_=`echo "${ML}" | sed 's/\(\.\| \)/_/g'`
-  
   :0
-  * ^List-Id:.*lists.federez.net
+  * ^List-Id:.*federez.net
   {
+    # On veut ne garder que le nom de la ML sans le nom de domaine
+    ML=`echo "${ML}" | sed 's/\(\.lists\)\?\.federez\.net//'`
+    # On prend garde à ne pas créer un sous-dossier
+    # si jamais le List-Id contient un . ou un espace
+    ML_=`echo "${ML}" | sed 's/\(\.\| \)/_/g'`
+    
+    # Gestion de la ML admin
+    :0
+    * ^List-Id:.*admin
+    {
+    :0
+    * ^Subject:.*Logwatch for.*federez\.net
+    ${FEDEREZLOGWATCHDIR}/
+    
+    :0
+    * ^To:.*logcheck
+    ${FEDEREZLOGCHECKDIR}/
+    
+    :0
+    * ^Subject:.*Debian package update
+    ${FEDEREZDEBIANDIR}/
+    
+    :0
+    * ^From:.*federezpasswords
+    ${FEDEREZPASSWORDSDIR}/
+    
+    :0
+    * ^From:.*support@ovh.com
+    ${FEDEREZOVHDIR}/
+    
+    :0
+    ${FEDEREZADMINDIR}/
+    }
+    
     :0
     ${FEDEREZDIR}.${ML_}/
   }

diff --git a/.ssh/config b/.ssh/config
index 948571eb0721dc0dd5e37e01b0874663864d758e..04f9bd22414209bdc4006a38a9280737df7d145a 100644 (file)
--- a/.ssh/config
+++ b/.ssh/config
@@ -865,6 +865,7 @@ Host hexagon hexagon.federez.net
 Host tselin tselin.clietu tselin.clietu.ens-cachan.fr acces1.rip.ens-cachan.fr acces1 rip
     HostName tselin.clietu.ens-cachan.fr
     User vlegalli
+    ProxyCommand ssh vlegalli@tahines.ens-cachan.fr -W %h:%p
 
 Host tahines.ens-cachan.fr tahines2 tahines
     HostName tahines.ens-cachan.fr