[ssh] Au revoir le LRI

diff --git a/.ssh/config b/.ssh/config
index 271af7a2d3bab96f0dfcdb1cba12dd200ccc3e2c..4150eb4cca213bb42a2fafa85036ed3c4a25d6ff 100644 (file)
--- a/.ssh/config
+++ b/.ssh/config
@@ -1066,35 +1066,5 @@ Host mars mars.lbpa 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)