[ssh_config] Oups : !

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