Changement du bail DHCP d'eva à la maison

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

diff --git a/.ssh/config b/.ssh/config
index ab52ddfdcec44a5cdb3b41376709c69c23fb6b89..1209893697bdacaf860fa2530451206385ca82cd 100644 (file)
--- a/.ssh/config
+++ b/.ssh/config
@@ -64,7 +64,7 @@ Host eva.crans.org eva eeepc
     ForwardAgent yes
 
 Host eva.local
-    HostName 192.168.1.79
+    HostName 192.168.1.12
     User vincent
     ForwardAgent yes
 
@@ -74,7 +74,7 @@ Host evaw.local
     ForwardAgent yes
 
 Host eva.home evaf
-    HostName 192.168.1.79
+    HostName 192.168.1.12
     User vincent
     ForwardAgent yes
     ProxyCommand ssh home.b2moo.fr -W %h:%p
@@ -1009,12 +1009,20 @@ Host info21 infossh ssh.dptinfo ssh.dptinfo.ens-cachan.fr
     User vlegalli
     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 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 |