customisation ssh cabal à la maison

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

diff --git a/.ssh/config b/.ssh/config
index db45838545f9956c462de5873f4d48de8209ec26..ba9a3474c237a0daf1d2027e2804ace383fff66b 100644 (file)
--- a/.ssh/config
+++ b/.ssh/config
@@ -102,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
 
@@ -121,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