[ssh] Good bye Télécom, hello LBPA

diff --git a/.ssh/config b/.ssh/config
index 974b13b336ae9b87f820f3f582257a045db9b89c..08125b5d0bd16eeed746521599af965466b8ba52 100644 (file)
--- a/.ssh/config
+++ b/.ssh/config
@@ -916,27 +916,13 @@ Host info*
     ForwardAgent yes
 
 
-# +---------+
-# | Télécom |
-# +---------+
-# Stage au labo de Télécom ParisTech
-
-Host ssh.enst enst ssh.enst.fr
-    HostName ssh.enst.fr
-    User legallic
-    ForwardAgent yes
-
-Host infres infres.enst.fr
-    HostName infres.enst.fr
-    User legallic
-    ProxyCommand ssh ssh.enst.fr -W %h:%p
-    ForwardAgent yes
-
-Host tipaza tipaza.enst.fr
-    HostName tipaza.enst.fr
-    User legallic
-    ProxyCommand ssh ssh.enst.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
 
 # END (utile pour éviter les merge conflicts)