[ssh_config] Oups : !

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

diff --git a/.ssh/config b/.ssh/config
index bc032a6431a0cb077a7eb4f6adfa2ddef2da3edf..104f9d06bf22bfb30127dc0c19898e8dde85933c 100644 (file)
--- a/.ssh/config
+++ b/.ssh/config
@@ -794,14 +794,16 @@ Host tahines.ens-cachan.fr tahines2 tahines
 #~#     User loginENS
 #~#     ForwardAgent yes
 #~# 
-#~# Host dptinfo*.dptinfo.ens-cachan.fr
-#~#     HostName %h
+#~# # Le ! permet de ne pas capturer ssh.dptinfo dans *.dptinfo
+#~# # Sinon on crée une boucle
+#~# Host *.dptinfo !ssh.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 !ssh.dptinfo.ens-cachan.fr
+#~#     HostName %h
 #~#     User loginENS
 #~#     ProxyCommand ssh loginENS@ssh.dptinfo.ens-cachan.fr -W %h:%p
 #~#     ForwardAgent yes