customisation ssh cabal à la maison

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

diff --git a/.ssh/config b/.ssh/config
index 439617c95949cca2ae71fc9cb6bfda1aa68f26a8..ba9a3474c237a0daf1d2027e2804ace383fff66b 100644 (file)
--- a/.ssh/config
+++ b/.ssh/config
@@ -55,6 +55,16 @@ UserKnownHostsFile ~/.ssh/known_hosts ~/.ssh/known_hosts_crans ~/.ssh/known_host
 # | Mes machines |
 # +--------------+
 
+Host zeldrenviatahinesviapimeys
+    HostName zeldren.crans.org
+    User vincent
+    ProxyCommand ssh tahinesviapimeys -W %h:%p
+
+Host tahinesviapimeys
+    HostName tahines.ens-cachan.fr
+    User vlegalli
+    ProxyCommand ssh pimeys.fr -W %h:%p
+
 Host zeldren.crans.org zeldren
     HostName zeldren.crans.org
     User vincent
@@ -92,8 +102,8 @@ Host evaw.home evaw
     ForwardAgent yes
     ProxyCommand ssh home.b2moo.fr -W %h:%p
 
-Host cabal.crans.org cabal.crans
-    HostName cabal.crans.org
+Host zeldren.crans.org cabal.crans zeldren
+    HostName zeldren.crans.org
     User vincent
     ForwardAgent yes
 
@@ -111,7 +121,13 @@ Host cabal.home cabal
     HostName 192.168.1.81
     User vincent
     ForwardAgent yes
-    ProxyCommand ssh home.b2moo.fr -W %h:%p
+    ProxyCommand ssh -4 home.b2moo.fr -W %h:%p
+
+Host cabalviabox
+    HostName home.b2moo.fr
+    Port 2222
+    User vincent
+    ForwardAgent yes
 
 Host cabalw.home cabalw
     HostName 192.168.1.63
@@ -959,7 +975,7 @@ Host vert.adm ldap.adm vert zelda.adm vert vert.adm.crans.org ldap.adm.crans.org
     HostName vert.adm.crans.org
     User legallic
     ForwardAgent yes
-    ProxyCommand ssh sable.crans.org -W %h:%p
+    ProxyCommand ssh redisdead.crans.org -W %h:%p
 
 Host zbee-idrac.adm zbee-idrac zbee-idrac zbee-idrac.adm.crans.org
     HostName zbee-idrac.adm.crans.org