[ssh_config] Oups : !

diff --git a/.ssh/config b/.ssh/config
index f34fb768e66c17683e12c26cda739dbbbbc36464..104f9d06bf22bfb30127dc0c19898e8dde85933c 100644 (file)
--- a/.ssh/config
+++ b/.ssh/config
@@ -794,13 +794,15 @@ Host tahines.ens-cachan.fr tahines2 tahines
 #~#     User loginENS
 #~#     ForwardAgent yes
 #~# 
-#~# Host *.dptinfo
+#~# # 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 *.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