[ssh_config] s/dptinfoNN.dptinfo/NN.dptinfo/

diff --git a/.ssh/config b/.ssh/config
index d65795e740df6df16a3babda4e6cc69d1470d55a..ab52ddfdcec44a5cdb3b41376709c69c23fb6b89 100644 (file)
--- a/.ssh/config
+++ b/.ssh/config
@@ -1009,14 +1009,8 @@ Host info21 infossh ssh.dptinfo ssh.dptinfo.ens-cachan.fr
     User vlegalli
     ForwardAgent yes
 
-Host dptinfo*.dptinfo.ens-cachan.fr
-    HostName %h
-    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
+    HostName %h.ens-cachan.fr
     User vlegalli
     ProxyCommand ssh vlegalli@ssh.dptinfo.ens-cachan.fr -W %h:%p
     ForwardAgent yes