[ssh_config] Oups : !

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

diff --git a/.ssh/config b/.ssh/config
index ab52ddfdcec44a5cdb3b41376709c69c23fb6b89..352745df114de71bf52b52393ad4f76df3bd3cdc 100644 (file)
--- a/.ssh/config
+++ b/.ssh/config
@@ -1009,12 +1009,18 @@ 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 !ssh.dptinfo.ens-cachan.fr
+    HostName %h
+    User vlegalli
+    ProxyCommand ssh loginENS@ssh.dptinfo.ens-cachan.fr -W %h:%p
+    ForwardAgent yes
+
 
 # +--------+
 # | Stages |