]> gitweb.pimeys.fr Git - config-20-100.git/commitdiff
Merge branch 'master' into perso
authorVincent Le Gallic <legallic@crans.org>
Tue, 7 Jun 2016 01:05:35 +0000 (03:05 +0200)
committerVincent Le Gallic <legallic@crans.org>
Tue, 7 Jun 2016 01:05:35 +0000 (03:05 +0200)
Conflicts:
.ssh/config
.vimrc

1  2 
.bashrc
.procmailrc
.ssh/config
.vimrc

diff --combined .bashrc
index 056648669e183a16ef4d5d7c4dd6b50afc5c5cc4,47244fd5c5a1e6676eaa6914a56d7365f2c59669..522e3f1c976e68dc210d82158a667bd873371537
+++ b/.bashrc
@@@ -635,15 -635,22 +635,22 @@@ function welcome_message (
  # | Gestion de l'historique des commandes |
  # +---------------------------------------+
  
+ # On spécifie explicitement le fichier d'historique.
+ # En effet, si on jongle entre bash et zsh, per exemple,
+ # comme ils n'utilisent pas le même format pour stocker le timestamp
+ # des commandes, on se retrouve avec des comportements non souhaités
+ # si on ne change pas le fichier d'historique entre les deux.
+ export HISTFILE=~/.bash_history
  # On ne sauve pas les lignes dupliquées qui se suivent dans l'historique
  # ainsi que les commandes qui commencent par une espace
  export HISTCONTROL=ignoreboth
  
  # Nombre de lignes d'historique à garder
 -export HISTSIZE=5000
 +export HISTSIZE="10000"
  
  # la même chose dans le fichier d'historique
 -export HISTFILESIZE=5000
 +export HISTFILESIZE="100000"
  
  # Mémoriser le timestamp d'exécution de la commande
  export HISTTIMEFORMAT='%F %T - '
@@@ -661,7 -668,7 +668,7 @@@ shopt -s histappen
  
  # Pour éviter un troll, aucune ligne de cette section n'est décommentée.
  # Choisissez la vôtre.
 -#~# export EDITOR='/usr/bin/nano'
 +export EDITOR='/usr/bin/nano'
  #~# export EDITOR='/usr/bin/vim'
  #~# export EDITOR='/usr/bin/emacs'
  #~# export EDITOR='/usr/bin/jed'
  # Ajouter ~/bin, /sbin et /usr/sbin à son PATH
  PATH=~/bin:$PATH:/sbin:/usr/sbin
  
 -#~# # Décommentez les lignes suivantes et peuplez-les correctement si
 -#~# # vous avez besoin de commiter en tant que root *et* que votre
 -#~# # /etc/sudoers contient bien la directive
 -#~# # Defaults env_keep += "<les variables en question>"
 -#~# export GIT_AUTHOR_NAME="$(git config user.name)"
 -#~# export GIT_AUTHOR_EMAIL="$(git config user.email)"
 +# Décommentez les lignes suivantes et peuplez-les correctement si
 +# vous avez besoin de commiter en tant que root *et* que votre
 +# /etc/sudoers contient bien la directive
 +# Defaults env_keep += "<les variables en question>"
 +export GIT_AUTHOR_NAME="$(git config user.name)"
 +export GIT_AUTHOR_EMAIL="$(git config user.email)"
  
  # +----------+
  # | Sourcing |
@@@ -698,5 -705,5 +705,5 @@@ f
  # +-----+
  
  # On n'exécute le welcome_message que à ce moment, parce que la customisation
 -# local a pu changer des couleurs
 +# locale a pu changer des couleurs
  welcome_message
diff --combined .procmailrc
index 4d19c6cb92ed87927dcd2170ee03cfdcc54636c2,9a54a1e2b0301ecda7c1a35d554b245ce94bae86..4cd28a9b4c37fbcdaa6b7753a22254a73be05441
  #   |
  #   |-[$*+B] Technique (les discussions et les trucs reliés)
  #        |
+ #        |-[*] Apprentis
+ #        |
  #        |-[*+] Freebox (Vous avez un message vocal)
  #        |
  #        |-[*+] Nounou
@@@ -273,6 -275,7 +275,7 @@@ MLBDSDIR="${MLCAMPUSDIR}.BDS
  MLSDADIR="${MLCAMPUSDIR}.SDA"
  MLGALADIR="${MLCAMPUSDIR}.Gala"
  MLSONODIR="${MLCAMPUSDIR}.SoNo"
+ MLWEIDIR="${MLCAMPUSDIR}.WEI"
  
  ## Dossier où atterrira une ML non-répertoriée
  MLFAILSUFFIX="Fail"
@@@ -371,6 -374,8 +374,8 @@@ NOUNOUDIR="${TECHNIQUEDIR}.Nounou
  FREEBOXDIR="${TECHNIQUEDIR}.Freebox"
  # Dossier où atterriront les mails de root@ non triés
  ROOTDEFAULTDIR="${TECHNIQUEDIR}.root"
+ # Mails de la ML apprentis
+ APPRENTISDIR="${TECHNIQUEDIR}.Apprentis"
  
  ### Dossier racine pour Federez
  FEDEREZDIR=".FedeRez"
@@@ -404,22 -409,22 +409,22 @@@ SUBJECT=| formail -cXSubject: | perl -M
  :0
  * ^List-ID:
  LISTID=| formail -cXList-ID: | perl -MEncode -pe '$_=encode("utf-8",decode("MIME-Header",$_))'
 -#~# # Pour faire fonctionner correctement le tri des mails envoyés par Discourse,
 -#~# # Décommenter le INCLUDERC suivant
 -#~# INCLUDERC="${CONFIGDIR}/discourse.preprocessing"
 +# Pour faire fonctionner correctement le tri des mails envoyés par Discourse,
 +# Décommenter le INCLUDERC suivant
 +INCLUDERC="${CONFIGDIR}/discourse.preprocessing"
  
  ################################################################################
  #####                                Règles                                #####
  ################################################################################
  
 -#~# # Patch pour traiter les mails qui ont été
 -#~# # reçus avant le 30/06/13, car certaines règles de tri du .procmailrc
 -#~# # n'étaient pas encore valables à l'époque.
 -#~# # très utile si on veut retrier tous ses mails
 -#~# INCLUDERC="${CONFIGDIR}/retrocompatibility_patch.rules"
 +# Patch pour traiter les mails qui ont été
 +# reçus avant le 30/06/13, car certaines règles de tri du .procmailrc
 +# n'étaient pas encore valables à l'époque.
 +# très utile si on veut retrier tous ses mails
 +INCLUDERC="${CONFIGDIR}/retrocompatibility_patch.rules"
  
 -#~# # Fichier de règles prioritaires à personnaliser
 -#~# INCLUDERC="${CONFIGDIR}/custom.high.rules"
 +# Fichier de règles prioritaires à personnaliser
 +INCLUDERC="${CONFIGDIR}/custom.high.rules"
  
  #################################################################
  ##                Gestion des mails d'Arpwatch                 ##
  * ^To:.*(roots?|postgres|www-data|list)@crans\.org
  * ^(X-Cron-Env|From: Anacron)
  {
 -  #~# # Par défaut, on ne trie pas les mails de Cron, pensez à décommenter
 -  #~# # le INCLUDERC (et à copier le fichier complémentaire) pour les trier
 -  #~# INCLUDERC=${CONFIGDIR}/cron.rules
 +  # Par défaut, on ne trie pas les mails de Cron, pensez à décommenter
 +  # le INCLUDERC (et à copier le fichier complémentaire) pour les trier
 +  INCLUDERC=${CONFIGDIR}/cron.rules
    
    :0
    ${CRONDIR}/
@@@ -791,8 -796,8 +796,8 @@@ ${PAIEMENTSDIR}
  #################################################################
  ##              Inclusion des règles personnelles              ##
  #################################################################
 -#~# # Fichier de règles à personnaliser
 -#~# INCLUDERC="${CONFIGDIR}/custom.normal.rules"
 +# Fichier de règles à personnaliser
 +INCLUDERC="${CONFIGDIR}/custom.normal.rules"
  
  #################################################################
  ##                Gestion des mails de Mailman                 ##
      :0
      * ^List-Id:.*nounou\.lists\.crans\.org
      ${NOUNOUDIR}/
+     # La ML apprentis va dans le dossier Technique
+     :0
+     * ^List-Id:.*apprentis\.lists\.crans\.org
+     ${APPRENTISDIR}/
      
      #################################################################
      ##         Gestion des autres mailing-list (du campus)         ##
      * ? echo "${ML}" | egrep "bds"
      ${MLBDSDIR}.${ML_}/
      
+     # MLs WEI
+     :0
+     * ^List-Id:.*wei\.lists\.crans\.org
+     ${MLWEIDIR}.${ML_}/
      # MLs Gala
      :0
      * ? echo "${ML}" | egrep "(gala|geec)"
      ${MLCAMPUSDIR}.${MLFAILSUFFIX}.${ML_}/
    }
    
 -  #~# # Décommenter pour activer le tri des mails envoyés par
 -  #~# # Discourse. Attention, penser à décommener également
 -  #~# # l'INCLUDERC de discourse.preprocessing
 -  #~# # et lire https://wiki.crans.org/VieCrans/FichiersConfiguration#rc.2Fdiscourse
 -  #~# # à propos de la remarque sur le module Perl à installer
 -  #~# INCLUDERC=${CONFIGDIR}/discourse.rules
 +  # Décommenter pour activer le tri des mails envoyés par
 +  # Discourse. Attention, penser à décommener également
 +  # l'INCLUDERC de discourse.preprocessing
 +  # et lire https://wiki.crans.org/VieCrans/FichiersConfiguration#rc.2Fdiscourse
 +  # à propos de la remarque sur le module Perl à installer
 +  INCLUDERC=${CONFIGDIR}/discourse.rules
    
    #################################################################
    ##             Gestion des mailing-listes FedeRez              ##
    ${MLDIR}.${DOMAIN_}.${ML_}/
  }
  
 -#~# # Fichier de règles de faible priorité à personnaliser
 -#~# INCLUDERC="${CONFIGDIR}/custom.final.rules"
 +# Fichier de règles de faible priorité à personnaliser
 +INCLUDERC="${CONFIGDIR}/custom.final.rules"
diff --combined .ssh/config
index 96ca5820f0897adbd62edd935a487226a0654f7f,f37f8803695dbce47d69fb4c11e094aaa83052a7..271af7a2d3bab96f0dfcdb1cba12dd200ccc3e2c
@@@ -10,7 -10,8 +10,8 @@@
  
  # À noter que la plupart des serveurs présents dedans sont des serveurs
  # du Cr@ns, qui risquent donc d'intéresser essentiellement des membres actifs.
- # Pensez à remplacer "loginCr@ns", "loginFedeRez" et "loginENS" par les login idoines
+ # Pensez à remplacer "loginCr@ns", "loginFedeRez", "loginBDE" et "loginENS" par
+ # les logins idoines.
  
  #------------------------------------------------------------------------------
  
@@@ -30,13 -31,13 +31,13 @@@ HashKnownHosts n
  # et du fingerprint présenté par le serveur
  VerifyHostKeyDNS yes
  
 -#~# # Certaines QuelqueChoseBox tuent les connexion TCP inactives depuis
 -#~# # trop longtemps.
 -#~# # Cette option fait en sorte d'envoyer toutes les 60 secondes un paquet
 -#~# # sur la connexion, pour la garder vivante.
 -#~# ServerAliveInterval 60
 -#~# # Abandonner au bout de 3 échecs (= considérer la connexion comme morte)
 -#~# ServerAliveCountMax 3
 +# Certaines QuelqueChoseBox tuent les connexion TCP inactives depuis
 +# trop longtemps.
 +# Cette option fait en sorte d'envoyer toutes les 60 secondes un paquet
 +# sur la connexion, pour la garder vivante.
 +ServerAliveInterval 60
 +# Abandonner au bout de 3 échecs (= considérer la connexion comme morte)
 +ServerAliveCountMax 3
  
  # Les options suivantes apparaissent dans les blocs
  # Host = commence un bloc avec les noms qui utiliseront ce bloc
  # ProxyCommand = pour passer par un autre serveur intermédiaire
  #                (pour un serveur qui ne peut pas être contacté directement)
  
 -#~# # +-----------------+
 -#~# # | Serveurs du BDE |
 -#~# # +-----------------+
 -#~# # Serveurs du BDE accessibles aux respos info
 -#~# 
 -#~# Host kfet kfet.crans.org kfet1
 -#~#     HostName kfet.crans.org
 -#~#     User bde
 -#~# 
 -#~# Host kfet-bureau kfet-bureau.crans.org
 -#~#     HostName kfet.crans.org
 -#~#     User bde
 -#~# 
 -#~# Host bde2 bde2-virt note note-virt kfet-ics doc-bde ldap-bde bde2.crans.org bde2-virt.crans.org note.crans.org
 -#~#     HostName bde2-virt.crans.org
 -#~#     User loginBDE
 -#~#     ForwardAgent yes
 -#~# 
 -#~# Host bde3-virt digicode bde3-virt.crans.org
 -#~#     HostName bde3-virt.crans.org
 -#~#     User loginBDE
 -#~#     ForwardAgent yes
 -#~# 
 -#~# Host bde3 bde3.crans.org
 -#~#     HostName bde3.crans.org
 -#~#     User loginBDE
 -#~#     ForwardAgent yes
 -#~# 
 -#~# Host bde-test bde-test-virt note-test note-dev bde-test.crans.org bde-test-virt.crans.org note-test.crans.org
 -#~#     HostName bde-test-virt.crans.org
 -#~#     User loginBDE
 -#~#     ForwardAgent yes
 -#~# 
 -#~# Host sauron sauron.crans.org
 -#~#     HostName sauron.crans.org
 -#~#     User loginBDE
 -#~#     ForwardAgent yes
 +UserKnownHostsFile ~/.ssh/known_hosts ~/.ssh/known_hosts_crans ~/.ssh/known_hosts_dptinfo
 +
 +# +--------------+
 +# | Mes machines |
 +# +--------------+
 +
 +Host cerebro.crans.org cerebro
 +    HostName cerebro.crans.org
 +    User vincent
 +    ForwardAgent yes
 +
 +Host eva.crans.org eva eeepc
 +    HostName eva.crans.org
 +    User vincent
 +    ForwardAgent yes
 +
 +Host eva.local
 +    HostName 192.168.1.12
 +    User vincent
 +    ForwardAgent yes
 +
 +Host evaw.local
 +    HostName 192.168.1.29
 +    User vincent
 +    ForwardAgent yes
 +
 +Host eva.home evaf
 +    HostName 192.168.1.12
 +    User vincent
 +    ForwardAgent yes
 +    ProxyCommand ssh home.b2moo.fr -W %h:%p
 +
 +Host evaw.home evaw
 +    HostName 192.168.1.29
 +    User vincent
 +    ForwardAgent yes
 +    ProxyCommand ssh home.b2moo.fr -W %h:%p
 +
 +Host cabal.crans.org cabal.crans
 +    HostName cabal.crans.org
 +    User vincent
 +    ForwardAgent yes
 +
 +Host cabal.local
 +    HostName 192.168.1.81
 +    User vincent
 +    ForwardAgent yes
 +
 +Host cabalw.local
 +    HostName 192.168.1.63
 +    User vincent
 +    ForwardAgent yes
 +
 +Host cabal.home cabal
 +    HostName 192.168.1.81
 +    User vincent
 +    ForwardAgent yes
 +    ProxyCommand ssh home.b2moo.fr -W %h:%p
 +
 +Host cabalw.home cabalw
 +    HostName 192.168.1.63
 +    User vincent
 +    ForwardAgent yes
 +    ProxyCommand ssh home.b2moo.fr -W %h:%p
 +
 +Host viki viki.wifi viki.wifi.crans.org
 +    HostName viki.wifi.crans.org
 +    User root
 +    Port 2222
 +
 +Host gladys home colloc home.b2moo.fr
 +    HostName home.b2moo.fr
 +    User vincent
 +    ForwardAgent yes
 +
 +Host gladys.local
 +    HostName 192.168.1.18
 +    User vincent
 +    ForwardAgent yes
 +
 +# Les bots sur cerebro
 +Host basile
 +    HostName cerebro.crans.org
 +    User basile
 +    ForwardAgent yes
 +Host note-cerebro
 +    HostName cerebro.crans.org
 +    User note
 +    ForwardAgent yes
 +Host deconnaisseur
 +    HostName cerebro.crans.org
 +    User deconnaisseur
 +    ForwardAgent yes
 +Host pendu Hung hung
 +    HostName cerebro.crans.org
 +    User hung
 +    ForwardAgent yes
 +Host historien
 +    HostName cerebro.crans.org
 +    User historien
 +    ForwardAgent yes
 +Host salesman Salesman
 +    HostName cerebro.crans.org
 +    User salesman
 +    ForwardAgent yes
 +Host themis Themis
 +    HostName cerebro.crans.org
 +    User themis
 +    ForwardAgent yes
 +Host saturnin Saturnin
 +    HostName cerebro.crans.org
 +    User saturnin
 +    ForwardAgent yes
 +Host ibot iBot
 +    HostName cerebro.crans.org
 +    User ibot
 +    ForwardAgent yes
 +
 +
 +# +--------+
 +# | Pimeys |
 +# +--------+
 +# Serveur dédié online.net
 +# pimeys.fr = 62.210.178.115
 +
 +Host pimeys pimeys.fr becue.eu
 +    HostName pimeys.fr
 +    User vincent
 +    ForwardAgent yes
 +
 +
- # +-----------------+
- # | Machines du BDE |
- # +-----------------+
- # Parce que j'étais respo-info Makiavé[list]
- Host kfet kfet.crans.org
-     HostName kfet.crans.org
-     User bde
-     # IPv4 only
-     AddressFamily inet
-     ForwardAgent yes
- Host kfet-secours kfet-secours.crans.org
-     HostName kfet-secours.crans.org
-     User bde
-     # IPv4 only
-     AddressFamily inet
- Host kfet2 kfet2.crans.org
-     HostName kfet2.crans.org
-     User vincent
- Host bde-test note-test bde-test.crans.org note-test.crans.org
-     HostName bde-test.crans.org
-     User vincent
-     ForwardAgent yes
- Host bde2 bde-fallback bde2.crans.org ldap-bde.crans.org bde-fallback.crans.org
-     HostName bde2.crans.org
-     User vincent
-     ForwardAgent yes
- Host bde3 bde3.crans.org
-     HostName bde3.crans.org
-     User vincent
-     ForwardAgent yes
- Host note bde2-virt bde ldap-bde note.crans.ort bde2-virt.crans.org bde.crans.org
-     HostName bde2-virt.crans.org
-     User vincent
-     ForwardAgent yes
- Host note bde3-virt bde note.crans.ort bde3-virt.crans.org bde.crans.org
-     HostName bde3-virt.crans.org
-     User vincent
-     ForwardAgent yes
- Host video videobde videobde.crans.org
-     HostName videobde.crans.org
-     User vincent
-     ForwardAgent yes
- Host bureau bureau-bde bureau-bde.crans.org
-     HostName bureau-bde.crans.org
-     User bde
- Host med zavoyarde med.crans.org zavoyarde.crans.org
-     HostName zavoyarde.crans.org
-     User vincent
 +# +----+
 +# | PE |
 +# +----+
 +# Parce que j'y suis le bienvenu
 +
 +Host linkki linkki.crans.org
 +    HostName linkki.crans.org
 +    User sword
 +
 +Host ilma ilma.wifi ilma.wifi.crans.org
 +    HostName ilma.wifi.crans.org
 +    User sword
 +
 +Host ruoska ruoska.crans.org
 +    HostName ruoska.crans.org
 +    User vincent
 +
 +
 +# +-----+
 +# | Nit |
 +# +-----+
 +# Parce que j'y suis le bienvenu
 +
- # Le ftp de Nit, gère A♡-TV. 
++# Le ftp de Nit
 +Host power power.crans.org nit-git nit-git.crans.org
 +    HostName power.crans.org
 +    User vincent
 +
- # Réplicat du wikoeur
- Host genua acoeur.genua.fr
-     HostName acoeur.genua.fr
-     User root
-     AddressFamily inet6
 +
 +# +----+
 +# | A♡ |
 +# +----+
 +# Parce que le département A♡ a un serveur
 +
 +Host acoeur acoeur.crans.org
 +    HostName acoeur.crans.org
 +    User vincent
 +    ForwardAgent yes
 +
++
++# +-----------------+
++# | Serveurs du BDE |
++# +-----------------+
++# Serveurs du BDE accessibles aux respos info
++
++Host kfet kfet.crans.org kfet1
++    HostName kfet.crans.org
++    User bde
++    ForwardAgent yes
++
++Host kfet-bureau kfet-bureau.crans.org bureau bureau-bde
++    HostName kfet.crans.org
++    User bde
++    ForwardAgent yes
++
++Host bde2 bde2-virt note note-virt kfet-ics doc-bde ldap-bde bde2.crans.org bde2-virt.crans.org note.crans.org
++    HostName bde2-virt.crans.org
++    User vincent
++    ForwardAgent yes
++
++Host bde3-virt digicode bde3-virt.crans.org
++    HostName bde3-virt.crans.org
++    User vincent
++    ForwardAgent yes
++
++Host bde3 bde3.crans.org
++    HostName bde3.crans.org
++    User vincent
++    ForwardAgent yes
++
++Host bde-test bde-test-virt note-test note-dev bde-test.crans.org bde-test-virt.crans.org note-test.crans.org
++    HostName bde-test-virt.crans.org
++    User vincent
++    ForwardAgent yes
++
++Host sauron sauron.crans.org
++    HostName sauron.crans.org
++    User vincent
++    ForwardAgent yes
++
++Host med zavoyarde med.crans.org zavoyarde.crans.org
++    HostName zavoyarde.crans.org
++    User vincent
++
  # +-------------------+
  # | Serveurs du Cr@ns |
  # +-------------------+
  
  Host alice alice.crans.org
      HostName alice.crans.org
 -    User loginCr@ns
 +    User legallic
      ForwardAgent yes
  
  Host alice.adm alice.adm.crans.org
      HostName alice.adm.crans.org
 -    User loginCr@ns
 +    User legallic
      ForwardAgent yes
  
  Host appartement hackpartement appartement.crans.org hackpartement.crans.org
      HostName appartement.crans.org
 -    User loginCr@ns
 +    User legallic
      ForwardAgent yes
  
  Host apprentis munin-apprentis apprentis.crans.org munin-apprentis.crans.org
      HostName apprentis.crans.org
 -    User loginCr@ns
 +    User legallic
  
  Host asterisk sip stun voip asterisk.crans.org sip.crans.org voip.crans.org stun.crans.org
      HostName asterisk.crans.org
 -    User loginCr@ns
 +    User legallic
      ForwardAgent yes
  
  Host asterisk.adm asterisk.adm.crans.org
      HostName asterisk.adm.crans.org
 -    User loginCr@ns
 +    User legallic
      ForwardAgent yes
  
  Host backbone backbone.crans.org
      HostName backbone.crans.org
 -    User loginCr@ns
 +    User legallic
      ForwardAgent yes
  
  Host backbone.adm backbone.adm.crans.org
      HostName backbone.adm.crans.org
 -    User loginCr@ns
 +    User legallic
      ForwardAgent yes
  
 -    User loginCr@ns
+ Host bakdaur bakdaur.crans.org
+     HostName bakdaur.crans.org
 -    User loginCr@ns
++    User legallic
+     ForwardAgent yes
+ Host bakdaur.adm bakdaur.adm.crans.org
+     HostName bakdaur.adm.crans.org
++    User legallic
+     ForwardAgent yes
  Host backbone.wifi backbone.wifi.crans.org
      HostName backbone.wifi.crans.org
 -    User loginCr@ns
 +    User legallic
      ForwardAgent yes
  
  Host batk-0 batk-0.crans.org
      HostName batk-0.crans.org
 -    User loginCr@ns
 +    User legallic
  
- Host cas auth login cas.crans.org login.crans.org auth.crans.org
-     HostName cas.crans.org
+ Host cas cas-srv auth login cas.crans.org login.crans.org auth.crans.org cas-srv.crans.org
+     HostName cas-srv.crans.org
 -    User loginCr@ns
 +    User legallic
      ForwardAgent yes
  
  Host cas.adm cas.adm.crans.org
      HostName cas.adm.crans.org
 -    User loginCr@ns
 +    User legallic
      ForwardAgent yes
  
  Host charybde darcs ftp ftp.crans.ens-cachan.fr karibe mirror ntp xn--hxamgu1bpkn charybde.crans.org karibe.crans.org xn--hxamgu1bpkn.crans.org ftp.crans.org mirror.crans.org ftp.crans.ens-cachan.fr ntp.crans.org darcs.crans.org
      HostName charybde.crans.org
 -    User loginCr@ns
 +    User legallic
      ForwardAgent yes
  
  Host charybde.adm ftp.adm mirror.adm ntp.adm charybde.adm.crans.org ftp.adm.crans.org mirror.adm.crans.org ntp.adm.crans.org
      HostName charybde.adm.crans.org
 -    User loginCr@ns
 +    User legallic
      ForwardAgent yes
  
  Host civet rabbitmq vvvvvv civet.crans.org vvvvvv.crans.org rabbitmq.crans.org
      HostName civet.crans.org
 -    User loginCr@ns
 +    User legallic
      ForwardAgent yes
  
  Host civet.adm rabbitmq.adm civet.adm.crans.org rabbitmq.adm.crans.org
      HostName civet.adm.crans.org
 -    User loginCr@ns
 +    User legallic
      ForwardAgent yes
  
  Host cochon.adm cochon.adm.crans.org
      HostName cochon.adm.crans.org
 -    User loginCr@ns
 +    User legallic
      ForwardAgent yes
  
  Host cochon.ferme cochon cochon television tv cochon.ferme.crans.org television.crans.org tv.crans.org cochon.crans.org
      HostName cochon.ferme.crans.org
 -    User loginCr@ns
 +    User legallic
      ForwardAgent yes
  
  Host cups cups.crans.org
      HostName cups.crans.org
 -    User loginCr@ns
 +    User legallic
      ForwardAgent yes
  
  Host cups.adm cups.adm.crans.org
      HostName cups.adm.crans.org
 -    User loginCr@ns
 +    User legallic
      ForwardAgent yes
  
  Host dhcp dhcp.crans.org
      HostName dhcp.crans.org
 -    User loginCr@ns
 +    User legallic
      ForwardAgent yes
  
  Host dhcp-21 dhcp-21.crans.org
      HostName dhcp-21.crans.org
 -    User loginCr@ns
 +    User legallic
      ForwardAgent yes
  
  Host dhcp.adm dhcp.adm.crans.org
      HostName dhcp.adm.crans.org
 -    User loginCr@ns
 +    User legallic
      ForwardAgent yes
  
 -    User loginCr@ns
+ Host discourse discourse-srv discourse.crans.org discourse-srv.crans.org
+     HostName discourse-srv.crans.org
++    User legallic
+     ForwardAgent yes
  Host dyson dyson.crans.org
      HostName dyson.crans.org
 -    User loginCr@ns
 +    User legallic
      ForwardAgent yes
  
  Host dyson.adm munin.adm dyson.adm.crans.org munin.adm.crans.org
      HostName dyson.adm.crans.org
 -    User loginCr@ns
 +    User legallic
      ForwardAgent yes
  
- Host ethercalc ethercalc.crans.org
-     HostName ethercalc.crans.org
+ Host ethercalc ethercalc-srv ethercalc.crans.org ethercalc-srv.crans.org
+     HostName ethercalc-srv.crans.org
 -    User loginCr@ns
 +    User legallic
      ForwardAgent yes
  
  Host ethercalc.adm ethercalc.adm.crans.org
      HostName ethercalc.adm.crans.org
 -    User loginCr@ns
 +    User legallic
      ForwardAgent yes
  
  Host freebox freebox.crans.org
      HostName freebox.crans.org
 -    User loginCr@ns
 +    User legallic
      ForwardAgent yes
  
 -    User loginCr@ns
+ Host frontdaur frontdaur.crans.org
+     HostName frontdaur.crans.org
 -    User loginCr@ns
++    User legallic
+     ForwardAgent yes
+ Host frontdaur.adm frontdaur.adm.crans.org
+     HostName frontdaur.adm.crans.org
++    User legallic
+     ForwardAgent yes
  Host ft ft.crans.org
      HostName ft.crans.org
 -    User loginCr@ns
 +    User legallic
      ForwardAgent yes
  
  Host ft.adm ft.adm.crans.org
      HostName ft.adm.crans.org
 -    User loginCr@ns
 +    User legallic
      ForwardAgent yes
  
- Host fy munin fy.crans.org munin.crans.org
+ Host fy munin icinga2 weathermap fy.crans.org munin.crans.org icinga2.crans.org weathermap.crans.org
      HostName fy.crans.org
 -    User loginCr@ns
 +    User legallic
      ForwardAgent yes
  
  Host fy.adm fy.adm.crans.org
      HostName fy.adm.crans.org
 -    User loginCr@ns
 +    User legallic
      ForwardAgent yes
  
  Host fz fz.crans.org
      HostName fz.crans.org
 -    User loginCr@ns
 +    User legallic
      ForwardAgent yes
  
  Host fz.adm fz.adm.crans.org
      HostName fz.adm.crans.org
 -    User loginCr@ns
 +    User legallic
      ForwardAgent yes
  
  Host geet git gitlab geet.crans.org git.crans.org gitlab.crans.org
      HostName geet.crans.org
 -    User loginCr@ns
 +    User legallic
      ForwardAgent yes
  
  Host geet.adm git.adm gitlab.adm geet.adm.crans.org git.adm.crans.org gitlab.adm.crans.org
      HostName geet.adm.crans.org
 -    User loginCr@ns
 +    User legallic
      ForwardAgent yes
  
- Host horde webmail horde.crans.org webmail.crans.org
+ Host horde horde-srv webmail horde.crans.org horde-srv.crans.org webmail.crans.org
 -    HostName horde-srv.crans.org
 -    User loginCr@ns
 +    HostName horde.crans.org
 +    User legallic
      ForwardAgent yes
  
  Host horde.adm horde.adm.crans.org
      HostName horde.adm.crans.org
 -    User loginCr@ns
 +    User legallic
      ForwardAgent yes
  
  Host irc qwebirc web-irc irc.crans.org qwebirc.crans.org web-irc.crans.org
      HostName irc.crans.org
 -    User loginCr@ns
 +    User legallic
      ForwardAgent yes
  
  Host irc.adm irc.adm.crans.org
      HostName irc.adm.crans.org
 -    User loginCr@ns
 +    User legallic
      ForwardAgent yes
  
  Host isc isc.crans.org
      HostName isc.crans.org
 -    User loginCr@ns
 +    User legallic
      ForwardAgent yes
  
  Host isc.adm isc.adm.crans.org
      HostName isc.adm.crans.org
 -    User loginCr@ns
 +    User legallic
      ForwardAgent yes
  
  Host kdell kdell.crans.org
      HostName kdell.crans.org
 -    User loginCr@ns
 +    User legallic
      ForwardAgent yes
  
  Host kdell.adm kdell.adm.crans.org
      HostName kdell.adm.crans.org
 -    User loginCr@ns
 +    User legallic
      ForwardAgent yes
  
  Host kenobi infinoted kenobby laval obby pad pastebin zero kenobi.crans.org obby.crans.org kenobby.crans.org infinoted.crans.org laval.crans.org pad.crans.org zero.crans.org pastebin.crans.org
      HostName kenobi.crans.org
 -    User loginCr@ns
 +    User legallic
      ForwardAgent yes
  
  Host kenobi.adm kenobi.adm.crans.org
      HostName kenobi.adm.crans.org
 -    User loginCr@ns
 +    User legallic
      ForwardAgent yes
  
  Host komaz komaz.crans.org
      HostName komaz.crans.org
 -    User loginCr@ns
 +    User legallic
      ForwardAgent yes
  
  Host komaz-21 komaz-21.crans.org
      HostName komaz-21.crans.org
 -    User loginCr@ns
 +    User legallic
      ForwardAgent yes
  
  Host komaz.adm komaz.adm.crans.org
      HostName komaz.adm.crans.org
 -    User loginCr@ns
 +    User legallic
      ForwardAgent yes
  
  Host malloc malloc.crans.org
      HostName malloc.crans.org
 -    User loginCr@ns
 +    User legallic
      ForwardAgent yes
  
  Host malloc.adm malloc.adm.crans.org
      HostName malloc.adm.crans.org
 -    User loginCr@ns
 +    User legallic
      ForwardAgent yes
  
- Host mediadrop video mediadrop.crans.org video.crans.org
+ Host mediadrop mediadrop-srv video mediadrop.crans.org video.crans.org mediadrop-srv.crans.org video-srv.crans.org
 -    HostName mediadrop-srv.crans.org
 -    User loginCr@ns
 +    HostName mediadrop.crans.org
 +    User legallic
      ForwardAgent yes
  
  Host mediadrop.adm mediadrop.adm.crans.org
      HostName mediadrop.adm.crans.org
 -    User loginCr@ns
 +    User legallic
      ForwardAgent yes
  
  Host nat64 nat64.crans.org
      HostName nat64.crans.org
 -    User loginCr@ns
 +    User legallic
      ForwardAgent yes
  
  Host nat64.adm nat64.adm.crans.org
      HostName nat64.adm.crans.org
 -    User loginCr@ns
 +    User legallic
      ForwardAgent yes
  
  Host nem nem.crans.org
      HostName nem.crans.org
 -    User loginCr@ns
 +    User legallic
      ForwardAgent yes
  
  Host nem.adm nem.adm.crans.org
      HostName nem.adm.crans.org
 -    User loginCr@ns
 +    User legallic
      ForwardAgent yes
  
  Host news web-news webnews news.crans.org web-news.crans.org webnews.crans.org
      HostName news.crans.org
 -    User loginCr@ns
 +    User legallic
      ForwardAgent yes
  
  Host news.adm web-news.adm webnews.adm news.adm.crans.org webnews.adm.crans.org web-news.adm.crans.org
      HostName news.adm.crans.org
 -    User loginCr@ns
 +    User legallic
      ForwardAgent yes
  
  Host niomniom 15ans autoconfig autostatus ca crans.ens-cachan.fr crans.org doc i-p install-party map webalizer wifi wiki wikipedia www www.15ans niomniom.crans.org wiki.crans.org www.crans.org install-party.crans.org autostatus.crans.org wifi.crans.org i-p.crans.org crans.org crans.ens-cachan.fr ca.crans.org webalizer.crans.org doc.crans.org map.crans.org wikipedia.crans.org 15ans.crans.org www.15ans.crans.org autoconfig.crans.org
      HostName niomniom.crans.org
 -    User loginCr@ns
 +    User legallic
      ForwardAgent yes
  
  Host niomniom.adm niomniom.adm.crans.org
      HostName niomniom.adm.crans.org
 -    User loginCr@ns
 +    User legallic
      ForwardAgent yes
  
  Host o2 intranet2 switchs o2.crans.org switchs.crans.org intranet2.crans.org
      HostName o2.crans.org
 -    User loginCr@ns
 +    User legallic
      ForwardAgent yes
  
  Host o2.adm o2.adm.crans.org
      HostName o2.adm.crans.org
 -    User loginCr@ns
 +    User legallic
      ForwardAgent yes
  
  Host odlyd odlyd.crans.org
      HostName odlyd.crans.org
 -    User loginCr@ns
 +    User legallic
      ForwardAgent yes
  
  Host odlyd.adm upload.adm odlyd.adm.crans.org upload.adm.crans.org
      HostName odlyd.adm.crans.org
 -    User loginCr@ns
 +    User legallic
      ForwardAgent yes
  
  Host odlyd.wifi odlyd.wifi.crans.org
      HostName odlyd.wifi.crans.org
 -    User loginCr@ns
 +    User legallic
      ForwardAgent yes
  
  Host oie oie oie.ferme oie.crans.org oie.ferme.crans.org
      HostName oie.crans.org
 -    User loginCr@ns
 +    User legallic
      ForwardAgent yes
  
  Host oie.adm oie.adm.crans.org
      HostName oie.adm.crans.org
 -    User loginCr@ns
 +    User legallic
      ForwardAgent yes
  
  Host omnomnom omnomnom.crans.org
      HostName omnomnom.crans.org
 -    User loginCr@ns
 +    User legallic
      ForwardAgent yes
  
  Host omnomnom.adm omnomnom.adm.crans.org
      HostName omnomnom.adm.crans.org
 -    User loginCr@ns
 +    User legallic
      ForwardAgent yes
  
  Host owl imap pop owl.crans.org pop.crans.org imap.crans.org
      HostName owl.crans.org
 -    User loginCr@ns
 +    User legallic
      ForwardAgent yes
  
  Host owl.adm imap.adm pop.adm owl.adm.crans.org imap.adm.crans.org pop.adm.crans.org
      HostName owl.adm.crans.org
 -    User loginCr@ns
 +    User legallic
      ForwardAgent yes
  
- Host owncloud owncloud.crans.org
+ Host owncloud owcloud-srv owncloud.crans.org owncloud-srv.crans.org
 -    HostName owncloud-srv.crans.org
 -    User loginCr@ns
 +    HostName owncloud.crans.org
 +    User legallic
      ForwardAgent yes
  
  Host owncloud.adm owncloud.adm.crans.org
      HostName owncloud.adm.crans.org
 -    User loginCr@ns
 +    User legallic
      ForwardAgent yes
  
  Host pea pea.crans.org
      HostName pea.crans.org
 -    User loginCr@ns
 +    User legallic
      ForwardAgent yes
  
  Host pea.adm pea.adm.crans.org
      HostName pea.adm.crans.org
 -    User loginCr@ns
 +    User legallic
      ForwardAgent yes
  
  Host pegase pegase.crans.org
      HostName pegase.crans.org
 -    User loginCr@ns
 +    User legallic
      ForwardAgent yes
  
 -    User loginCr@ns
+ Host proxy proxy.crans.org
+     HostName proxy.crans.org
++    User legallic
+     ForwardAgent yes
  Host puppet puppet.crans.org
      HostName puppet.crans.org
 -    User loginCr@ns
 +    User legallic
      ForwardAgent yes
  
  Host puppet.adm puppet.adm.crans.org
      HostName puppet.adm.crans.org
 -    User loginCr@ns
 +    User legallic
      ForwardAgent yes
  
  Host redisdead list liste listes lists smtp redisdead.crans.org lists.crans.org smtp.crans.org liste.crans.org listes.crans.org list.crans.org
      HostName redisdead.crans.org
 -    User loginCr@ns
 +    User legallic
      ForwardAgent yes
  
  Host redisdead.adm list.adm liste.adm listes.adm lists.adm smtp.adm redisdead.adm.crans.org lists.adm.crans.org smtp.adm.crans.org listes.adm.crans.org list.adm.crans.org liste.adm.crans.org
      HostName redisdead.adm.crans.org
 -    User loginCr@ns
 +    User legallic
      ForwardAgent yes
  
  Host rezosup rezosup.crans.org
      HostName rezosup.crans.org
 -    User loginCr@ns
 +    User legallic
      ForwardAgent yes
  
 -Host roundcube roundcube-srv roundcube.crans.org roundcube-srv.crans.org
 -    HostName roundcube-srv.crans.org
 -    User loginCr@ns
 +Host roundcube roundcube.crans.org
 +    HostName roundcube.crans.org
 +    User legallic
      ForwardAgent yes
  
  Host roundcube.adm roundcube.adm.crans.org
      HostName roundcube.adm.crans.org
 -    User loginCr@ns
 +    User legallic
      ForwardAgent yes
  
  Host routeur deconnexion routeur.crans.org deconnexion.crans.org
      HostName routeur.crans.org
 -    User loginCr@ns
 +    User legallic
      ForwardAgent yes
  
  Host routeur-21 routeur-21.crans.org
      HostName routeur-21.crans.org
 -    User loginCr@ns
 +    User legallic
      ForwardAgent yes
  
  Host routeur.adm routeur.adm.crans.org
      HostName routeur.adm.crans.org
 -    User loginCr@ns
 +    User legallic
      ForwardAgent yes
  
- Host sable dns proxy sable.crans.org proxy.crans.org dns.crans.org
+ Host sable dns sable.crans.org dns.crans.org
      HostName sable.crans.org
 -    User loginCr@ns
 +    User legallic
      ForwardAgent yes
  
  Host sable.adm proxy.adm sable.adm.crans.org proxy.adm.crans.org
      HostName sable.adm.crans.org
 -    User loginCr@ns
 +    User legallic
      ForwardAgent yes
  
- Host sogo sogo.crans.org
+ Host sogo sogo-srv sogo.crans.org sogo-srv.crans.org
 -    HostName sogo-srv.crans.org
 -    User loginCr@ns
 +    HostName sogo.crans.org
 +    User legallic
      ForwardAgent yes
  
  Host sogo.adm sogo.adm.crans.org
      HostName sogo.adm.crans.org
 -    User loginCr@ns
 +    User legallic
      ForwardAgent yes
  
  Host soyouz soyoustart soyouz.crans.org soyoustart.crans.org
      HostName soyouz.crans.org
 -    User loginCr@ns
 +    User legallic
      ForwardAgent yes
  
  Host soyouz.adm soyoustart.adm soyouz.adm.crans.org soyoustart.adm.crans.org
      HostName soyouz.adm.crans.org
 -    User loginCr@ns
 +    User legallic
      ForwardAgent yes
  
  Host ssh2 mosh ssh2.crans.org mosh.crans.org
      # pour passer à travers les blocages de ports (443 = https)
      HostName 138.231.136.2
      Port 443
 -    User loginCr@ns
 +    User legallic
      ForwardAgent yes
  
 -    User loginCr@ns
+ Host stitch stitch.crans.org
+     HostName stitch.crans.org
 -    User loginCr@ns
++    User legallic
+     ForwardAgent yes
+ Host stitch.adm stitch.adm.crans.org
+     HostName stitch.adm.crans.org
++    User legallic
+     ForwardAgent yes
  Host stun-secondary stun-secondary.crans.org
      HostName stun-secondary.crans.org
 -    User loginCr@ns
 +    User legallic
      ForwardAgent yes
  
  Host template template.crans.org
      HostName template.crans.org
 -    User loginCr@ns
 +    User legallic
      ForwardAgent yes
  
  Host template.adm template.adm.crans.org
      HostName template.adm.crans.org
 -    User loginCr@ns
 +    User legallic
      ForwardAgent yes
  
 -    User loginCr@ns
+ Host test1 test1.crans.org
+     HostName test1.crans.org
 -    User loginCr@ns
++    User legallic
+     ForwardAgent yes
+ Host test2 test2.crans.org
+     HostName test2.crans.org
++    User legallic
+     ForwardAgent yes
  Host thot logs psuornotpsu thot.crans.org psuornotpsu.crans.org logs.crans.org
      HostName thot.crans.org
 -    User loginCr@ns
 +    User legallic
      ForwardAgent yes
  
  Host thot.adm logs.adm pgsql.adm psuornotpsu.adm thot.adm.crans.org psuornotpsu.adm.crans.org pgsql.adm.crans.org logs.adm.crans.org
      HostName thot.adm.crans.org
 -    User loginCr@ns
 +    User legallic
      ForwardAgent yes
  
  Host titanic titanic.crans.org
      HostName titanic.crans.org
 -    User loginCr@ns
 +    User legallic
      ForwardAgent yes
  
  Host titanic.adm titanic.adm.crans.org
      HostName titanic.adm.crans.org
 -    User loginCr@ns
 +    User legallic
      ForwardAgent yes
  
- Host tracker todo tracker.crans.org todo.crans.org
+ Host tracker tracker todo tracker.crans.org todo.crans.org phabricator phabricattor.crans.org
      HostName tracker.crans.org
 -    User loginCr@ns
 +    User legallic
      ForwardAgent yes
  
  Host tracker.adm tracker.adm.crans.org
      HostName tracker.adm.crans.org
 -    User loginCr@ns
 +    User legallic
      ForwardAgent yes
  
  Host vo calendrier intranet-dev news-dev openid-dev weavesync vo.crans.org weavesync.crans.org intranet-dev.crans.org calendrier.crans.org openid-dev.crans.org news-dev.crans.org
      HostName vo.crans.org
 -    User loginCr@ns
 +    User legallic
      ForwardAgent yes
  
  Host vo-eth0 vo-eth0.crans.org
      HostName vo-eth0.crans.org
 -    User loginCr@ns
 +    User legallic
      ForwardAgent yes
  
  Host vo.adm vo.adm.crans.org
      HostName vo.adm.crans.org
 -    User loginCr@ns
 +    User legallic
      ForwardAgent yes
  
  Host xmpp aim chat.yahoo conference conference.jabber icq jabber yahoo xmpp.crans.org icq.crans.org aim.crans.org conference.crans.org jabber.crans.org yahoo.crans.org chat.yahoo.crans.org conference.jabber.crans.org
      HostName xmpp.crans.org
 -    User loginCr@ns
 +    User legallic
      ForwardAgent yes
  
  Host xmpp.adm jabber.adm xmpp.adm.crans.org jabber.adm.crans.org
      HostName xmpp.adm.crans.org
 -    User loginCr@ns
 +    User legallic
      ForwardAgent yes
  
  Host ytrap-llatsni ytrap-llatsni.crans.org
      HostName ytrap-llatsni.crans.org
 -    User loginCr@ns
 +    User legallic
      ForwardAgent yes
  
  Host ytrap-llatsni.adm ytrap-llatsni.adm.crans.org
      HostName ytrap-llatsni.adm.crans.org
 -    User loginCr@ns
 +    User legallic
      ForwardAgent yes
  
 -Host zamok accounts ajaxterm bda-paris bde bleu blogs clubs clubs.ens-cachan.fr factures impression intranet mysql perso pot-vieux ssh www.clubs.ens-cachan.fr zamok.crans.org ssh.crans.org impression.crans.org perso.crans.org clubs.ens-cachan.fr www.clubs.ens-cachan.fr mysql.crans.org bleu.crans.org intranet.crans.org blogs.crans.org bda-paris.crans.org factures.crans.org accounts.crans.org ajaxterm.crans.org clubs.crans.org bde.crans.org pot-vieux.crans.org
 +Host zamok accounts ajaxterm bda-paris bde bleu blogs clubs clubs.ens-cachan.fr factures impression intranet mysql perso pot-vieux ssh www.clubs.ens-cachan.fr zamok.crans.org ssh.crans.org impression.crans.org perso.crans.org clubs.ens-cachan.fr www.clubs.ens-cachan.fr mysql.crans.org bleu.crans.org intranet.crans.org blogs.crans.org bda-paris.crans.org factures.crans.org accounts.crans.org ajaxterm.crans.org clubs.crans.org pot-vieux.crans.org
      HostName zamok.crans.org
 -    User loginCr@ns
 +    User legallic
      ForwardAgent yes
  
  Host zamok.adm bleu.adm impression.adm users.adm zamok.adm.crans.org bleu.adm.crans.org impression.adm.crans.org users.adm.crans.org
      HostName zamok.adm.crans.org
 -    User loginCr@ns
 +    User legallic
      ForwardAgent yes
  
  
  
  Host babar.adm babar babar babar.adm.crans.org
      HostName babar.adm.crans.org
 -    User loginCr@ns
 +    User legallic
      ForwardAgent yes
      ProxyCommand ssh sable.crans.org -W %h:%p
  
  Host bcfg2.adm bcfg2 bcfg2 bcfg2.adm.crans.org
      HostName bcfg2.adm.crans.org
 -    User loginCr@ns
 +    User legallic
      ForwardAgent yes
      ProxyCommand ssh sable.crans.org -W %h:%p
  
  Host eap.adm eap eap eap.adm.crans.org
      HostName eap.adm.crans.org
 -    User loginCr@ns
 +    User legallic
      ForwardAgent yes
      ProxyCommand ssh sable.crans.org -W %h:%p
  
@@@ -900,82 -754,72 +932,82 @@@ Host *-il
  
  Host radius.adm radius radius radius.adm.crans.org
      HostName radius.adm.crans.org
 -    User loginCr@ns
 +    User legallic
      ForwardAgent yes
      ProxyCommand ssh sable.crans.org -W %h:%p
  
  Host sable-ilo.adm sable-ilo sable-ilo sable-ilo.adm.crans.org
      HostName sable-ilo.adm.crans.org
 -    User loginCr@ns
 +    User legallic
      ForwardAgent yes
      ProxyCommand ssh sable.crans.org -W %h:%p
      HostKeyAlgorithms ssh-rsa
  
  Host slon.adm slon slon slon.adm.crans.org
      HostName slon.adm.crans.org
 -    User loginCr@ns
 +    User legallic
      ForwardAgent yes
      ProxyCommand ssh sable.crans.org -W %h:%p
  
  Host vert.adm ldap.adm vert zelda.adm vert vert.adm.crans.org ldap.adm.crans.org zelda.adm.crans.org
      HostName vert.adm.crans.org
 -    User loginCr@ns
 +    User legallic
      ForwardAgent yes
      ProxyCommand ssh sable.crans.org -W %h:%p
  
  Host zbee-idrac.adm zbee-idrac zbee-idrac zbee-idrac.adm.crans.org
      HostName zbee-idrac.adm.crans.org
 -    User loginCr@ns
 +    User legallic
      ForwardAgent yes
      ProxyCommand ssh sable.crans.org -W %h:%p
  
  Host zbee.adm fx.adm nfs.adm zbee zbee zbee.adm.crans.org nfs.adm.crans.org fx.adm.crans.org
      HostName zbee.adm.crans.org
 -    User loginCr@ns
 +    User legallic
      ForwardAgent yes
      ProxyCommand ssh sable.crans.org -W %h:%p
  
  
 -#~# # +---------+
 -#~# # | FedeRez |
 -#~# # +---------+
 -#~# # Accessibles aux membres de l'équipe d'admin de FedeRez
 -#~# 
 -#~# # Actuellement down, mais on ne sait jamais
 -#~# Host nautilus nautilus.federez.net
 -#~#     HostName nautilus.federez.net
 -#~#     User loginFedeRez
 -#~#     ForwardAgent yes
 -#~# 
 -#~# Host forge forge.federez.net baldrick.federez.net baldrick baldrick.crans.org
 -#~#     HostName baldrick.federez.net
 -#~#     User loginFedeRez
 -#~#     ForwardAgent yes
 -#~# 
 -#~# Host quigon quigon.federez.net
 -#~#     HostName quigon.federez.net
 -#~#     User loginFedeRez
 -#~#     ForwardAgent yes
 -#~# 
 -#~# Host polygon polygon.federez.net
 -#~#     HostName polygon.federez.net
 -#~#     User loginFedeRez
 -#~#     ForwardAgent yes
 -#~# 
 -#~# Host hexagon hexagon.federez.net
 -#~#     HostName hexagon.federez.net
 -#~#     User loginFedeRez
 -#~#     ForwardAgent yes
 +# +---------+
 +# | FedeRez |
 +# +---------+
 +# Accessibles aux membres de l'équipe d'admin de FedeRez
 +
 +# Actuellement down, mais on ne sait jamais
 +Host nautilus nautilus.federez.net
 +    HostName nautilus.federez.net
 +    User legallic
 +    ForwardAgent yes
 +
 +Host forge forge.federez.net baldrick.federez.net baldrick baldrick.crans.org
 +    HostName baldrick.federez.net
 +    User legallic
 +    ForwardAgent yes
 +
 +Host quigon quigon.federez.net
 +    HostName quigon.federez.net
 +    User legallic
 +    ForwardAgent yes
 +
 +Host polygon polygon.federez.net
 +    HostName polygon.federez.net
 +    User legallic
 +    ForwardAgent yes
 +
 +Host hexagon hexagon.federez.net
 +    HostName hexagon.federez.net
 +    User legallic
 +    ForwardAgent yes
 +
 +
 +# +---------+
 +# | RezoSup |
 +# +---------+
 +# Réseau IRC des grandes écoles
 +
 +Host oswaft oswaft.rezosup.net
 +    HostName oswaft.rezosup.net
 +    User vincent
  
  
  # +-------------------+
  
  Host tselin tselin.clietu tselin.clietu.ens-cachan.fr acces1.rip.ens-cachan.fr acces1 rip
      HostName tselin.clietu.ens-cachan.fr
 -    User loginENS
 -    ProxyCommand ssh loginENS@tahines.ens-cachan.fr -W %h:%p
 +    User vlegalli
 +    ProxyCommand ssh vlegalli@tahines.ens-cachan.fr -W %h:%p
 +
 +Host tselin2
 +    HostName tselin2.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
 -    User loginENS
 -
 -
 -#~# # +------------------+
 -#~# # | Département info |
 -#~# # +------------------+
 -#~# # Machines du département informatique de l'ENSC
 -#~# # Accesibles aux A0
 -#~# 
 -#~# Host info21 infossh ssh.dptinfo ssh.dptinfo.ens-cachan.fr
 -#~#     #HostName 138.231.36.60
 -#~#     HostName ssh.dptinfo.ens-cachan.fr
 -#~#     User loginENS
 -#~#     ForwardAgent yes
 -#~# 
 -#~# # Le ! permet de ne pas capturer ssh.dptinfo dans *.dptinfo
 -#~# # Sinon on crée une boucle
 -#~# Host *.dptinfo !ssh.dptinfo
 -#~#     HostName %h.ens-cachan.fr
 -#~#     User loginENS
 -#~#     ProxyCommand ssh loginENS@ssh.dptinfo.ens-cachan.fr -W %h:%p
 -#~#     ForwardAgent yes
 -#~# 
 -#~# Host *.dptinfo.ens-cachan.fr !ssh.dptinfo.ens-cachan.fr
 -#~#     HostName %h
 -#~#     User loginENS
 -#~#     ProxyCommand ssh loginENS@ssh.dptinfo.ens-cachan.fr -W %h:%p
 -#~#     ForwardAgent yes
 +    User vlegalli
 +
 +
 +# +------------------+
 +# | Département info |
 +# +------------------+
 +# Machines du département informatique de l'ENSC
 +# Accesibles aux A0
 +
 +Host info21 infossh ssh.dptinfo ssh.dptinfo.ens-cachan.fr
 +    #HostName 138.231.36.60
 +    HostName ssh.dptinfo.ens-cachan.fr
 +    User vlegalli
 +    ForwardAgent yes
 +
 +# Le ! permet de ne pas capturer ssh.dptinfo dans *.dptinfo
 +# Sinon on crée une boucle
 +Host *.dptinfo !ssh.dptinfo
 +    HostName %h.ens-cachan.fr
 +    User vlegalli
 +    ProxyCommand ssh vlegalli@ssh.dptinfo.ens-cachan.fr -W %h:%p
 +    ForwardAgent yes
 +
 +Host *.dptinfo.ens-cachan.fr !ssh.dptinfo.ens-cachan.fr
 +    HostName %h
 +    User vlegalli
-     ProxyCommand ssh loginENS@ssh.dptinfo.ens-cachan.fr -W %h:%p
++    ProxyCommand ssh vlegalli@ssh.dptinfo.ens-cachan.fr -W %h:%p
 +    ForwardAgent yes
 +
 +
 +# +--------+
 +# | Stages |
 +# +--------+
 +
 +Host mars mars.lbpa mars.lbpa.ens-cachan.fr
 +    HostName mars.lbpa.ens-cachan.fr
 +    User vincent
 +    ProxyCommand ssh vlegalli@tahines.ens-cachan.fr -W %h:%p
  
  
 +# +------+
 +# | Labo |
 +# +------+
 +
 +# Homes montées mais != passerelle
 +Host lri acces.lri ssh.lri acces.lri.fr
 +    HostName acces.lri.fr
 +    User legallic
 +    ForwardAgent yes
 +
 +# Passerelle d'entrée, utilisable que par clé
 +Host pl-ssh pl-ssh.lri.fr
 +    HostName pl-ssh.lri.fr
 +    PasswordAuthentication no
 +    User legallic
 +    ForwardAgent yes
 +
 +Host labo lri30-13 lri30-13.lri.fr
 +    HostName lri30-13.lri.fr
 +    User legallic
 +    ForwardAgent yes
 +    ProxyCommand ssh pl-ssh.lri.fr -W %h:%p
 +
 +Host hal hal.labo 129.175.30.228
 +    HostName 129.175.30.228
 +    User vincent
 +    ForwardAgent yes
 +    ProxyCommand ssh pl-ssh.lri.fr -W %h:%p
 +
  # END (utile pour éviter les merge conflicts)
  
diff --combined .vimrc
index 31f939a805b10c0d85c14db92c81d5540e4e4164,fa71e52cff0e09925ff9f925b7ec4e6a3962adc7..304b438418cef25357ff1de17e004b39789061b0
--- 1/.vimrc
--- 2/.vimrc
+++ b/.vimrc
@@@ -23,8 -23,11 +23,11 @@@ set titl
  "~" " N'affiche pas sur plusieurs lignes les lignes qui sont plus grandes que la fenêtre (comme sous nano)
  "~" set nowrap
  
 -"~" " Montre brièvement la paire de parenthèse lors de sa fermeture
 -"~" set showmatch
++" Montre brièvement la paire de parenthèse lors de sa fermeture
++set showmatch
 -"~" " Optimise la coloration de vim pour l'adapter à un terminal sombre (par défaut 'light')
 -"~" set background=dark
 +" Optimise la coloration de vim pour l'adapter à un terminal sombre (par défaut 'light')
 +set background=dark
  
  " ~~ Numérotation ~~
  " Affiche 'ligne,n de caractère,colonne' en bas à droite du terminal
@@@ -36,28 -39,48 +39,48 @@@ set numbe
  " Retire la marge à gauche sur les numéros de lignes
  set numberwidth=2
  
+ "~" " Surligne la ligne du curseur
+ "~" set cursorline
+ "~" " Surligne la colonne du curseur
+ "~" set cursorcolumn
  
  " +-----------------+
  " | Édition de code |
  " +-----------------+
  
  " ~~ Coloration syntaxique ~~
- " Active la coloration syntaxique
- syntax on
+ " Active la coloration syntaxique pour le type de fichier détecté
+ if has("syntax")
+   syntax on
+ endif
  
  " ~~ Indentation et tabulation ~~
 -"~" " Conserve l'indentation de la ligne précédente lors d'un retour à la ligne
 -"~" set autoindent
+ " Active les régles d'indentation pour le type de fichier détecté
+ if has("autocmd")
+   filetype plugin indent on
+ endif
 +" Conserve l'indentation de la ligne précédente lors d'un retour à la ligne
 +set autoindent
  
 -"~" " Met les tabulations à 4 colonnes
 -"~" set tabstop=4
 +" Met les tabulations à 4 colonnes
 +set tabstop=4
  
 -"~" " Indente à 4 colonnes pour les opérations de réindentation
 -"~" set shiftwidth=4
 -"~" set shiftwidth=4 " pour <<, >> et ==
 +" Indente à 4 colonnes pour les opérations de réindentation
 +set shiftwidth=4
++set shiftwidth=4 " pour <<, >> et ==
  
  "~" " Remplace les (futures) tabulations par des espaces
  "~" set expandtab
+ "~" " On veut des tabulations dans les MakeFiles
+ "~" autocmd FileType make set noexpandtab tabstop=4 shiftwidth=2 nopi ci
  
+ "~" " Ctrl-p change entre le mode paste et nopaste
+ "~" set pastetoggle=<C-P>
+ "~" " Utilise le presse papier system (nécessite vim-gnome sous Debian)
+ "~" set clipboard^=unnamedplus
  
  " +---------------------------+
  " | Recherche et substitution |
@@@ -71,6 -94,24 +94,24 @@@ set incsearc
  "~" " (Exécuter nohl pour désactiver les hl (ils restent même une fois la recherche terminée))
  "~" set hlsearch
  
+ "~" " Rend la recherche insensible aux majuscules et minuscules, sauf si le
+ "~" " motif contient une majuscule
+ "~" set ignorecase
+ "~" set smartcase
+ " +-----------------------------+
+ " | Enregistrement et fermeture |
+ " +-----------------------------+
+ "~" " Enregistre automatiquement pour certaines commandes, notament make (voir :help autowrite)
+ "~" set autowrite
+ "~" " Met à jour automatiquement les fichiers modifiés hors de vim
+ "~" set autoread
+ "~" " Pose la question au lieu d'échouer lors de la fermeture quand il y des
+ "~" " modifications non sauvées et que ! n'est pas précisé.
+ "~" set confirm
  
  " +--------+
  " | Divers |
@@@ -83,6 -124,13 +124,13 @@@ set history=5
  "~" " au premier appui, on affiche la liste des possibilités au deuxième
  "~" set wildmode=longest,list
  
+ "~" " Active l'utilisation de la souris. (Ne marche qu'avec certains terminaux voir :help mouse)
+ "~" set mouse=a
+ "~" " Permet aux flèches droites et gauches de déplacer le curseur au début de
+ "~" " de la prochaine ligne ou à la fin de la précédente ligne
+ "~" set whichwrap=b,s,<,>,[,]
  " +------------------+
  " | Hacks et scripts |
  " +------------------+
  " ~~ Ne gêne pas la vue en mode édition. ~~
  " ~~ Adapté de http://vim.wikia.com/wiki/Highlight_unwanted_spaces ~~
  
 -"~" highlight EspaceFinLigne ctermbg=red guibg=red
 -"~" match EspaceFinLigne /\s\+$/
 -"~" autocmd BufWinEnter * match EspaceFinLigne /\s\+$/
 -"~" autocmd InsertEnter * match EspaceFinLigne /\s\+\%#\@<!$/
 -"~" autocmd InsertLeave * match EspaceFinLigne /\s\+$/
 -"~" autocmd BufWinLeave * call clearmatches()
 +highlight EspaceFinLigne ctermbg=red guibg=red
 +match EspaceFinLigne /\s\+$/
 +autocmd BufWinEnter * match EspaceFinLigne /\s\+$/
 +autocmd InsertEnter * match EspaceFinLigne /\s\+\%#\@<!$/
 +autocmd InsertLeave * match EspaceFinLigne /\s\+$/
 +autocmd BufWinLeave * call clearmatches()
  
  " ~~ Coloration du fond après n colonnes ~~
  " ~~ /!\ Seulement pour vim 7.3 et plus /!\ ~~
  "~"     execute "set colorcolumn=".join(range(81,335), ',')
  "~" endif
  
+ "~" " Surligne les espaces insécables
+ "~" au BufEnter * hi Nbsp ctermbg=233 guibg=black
+ "~" au BufEnter * match Nbsp /\%uA0/