Merge branch 'master' into perso

[config-20-100.git] / .ssh / config

diff --git a/.ssh/config b/.ssh/config
index d65795e740df6df16a3babda4e6cc69d1470d55a..03a66cae94ee80af55104ef88caaf399003eaf60 100644 (file)
--- a/.ssh/config
+++ b/.ssh/config
@@ -1009,16 +1009,16 @@ Host info21 infossh ssh.dptinfo ssh.dptinfo.ens-cachan.fr
     User vlegalli
     ForwardAgent yes
 
-Host dptinfo*.dptinfo.ens-cachan.fr
-    HostName %h
+Host *.dptinfo
+    HostName %h.ens-cachan.fr
     User vlegalli
     ProxyCommand ssh vlegalli@ssh.dptinfo.ens-cachan.fr -W %h:%p
     ForwardAgent yes
 
-Host info*
-    HostName dpt%h.dptinfo.ens-cachan.fr
+Host *.dptinfo.ens-cachan.fr
+    HostName %h
     User vlegalli
-    ProxyCommand ssh vlegalli@ssh.dptinfo.ens-cachan.fr -W %h:%p
+    ProxyCommand ssh loginENS@ssh.dptinfo.ens-cachan.fr -W %h:%p
     ForwardAgent yes