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

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

diff --git a/.ssh/config b/.ssh/config
index bc032a6431a0cb077a7eb4f6adfa2ddef2da3edf..f34fb768e66c17683e12c26cda739dbbbbc36464 100644 (file)
--- a/.ssh/config
+++ b/.ssh/config
@@ -794,14 +794,14 @@ Host tahines.ens-cachan.fr tahines2 tahines
 #~#     User loginENS
 #~#     ForwardAgent yes
 #~# 
-#~# Host dptinfo*.dptinfo.ens-cachan.fr
-#~#     HostName %h
+#~# Host *.dptinfo
+#~#     HostName %h.ens-cachan.fr
 #~#     User loginENS
 #~#     ProxyCommand ssh loginENS@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 loginENS
 #~#     ProxyCommand ssh loginENS@ssh.dptinfo.ens-cachan.fr -W %h:%p
 #~#     ForwardAgent yes