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

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

diff --git a/.ssh/config b/.ssh/config
index 194a05980abb2cb809155fb9b5421701d37e3103..ab52ddfdcec44a5cdb3b41376709c69c23fb6b89 100644 (file)
--- a/.ssh/config
+++ b/.ssh/config
@@ -193,8 +193,8 @@ Host kfet2 kfet2.crans.org
     HostName kfet2.crans.org
     User vincent
 
-Host old-note old-note.crans.org
-    HostName old-note.crans.org
+Host bde-test note-test old-note bde-test.crans.org note-test.crans.org old-note.crans.org
+    HostName bde-test.crans.org
     User vincent
     ForwardAgent yes
 
@@ -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