ssh zeldren via plein de trucs #PeeringOrange

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

diff --git a/.ssh/config b/.ssh/config
index ef1286e4be4313f1d4e2376ee11f1f1b595cc6f0..db45838545f9956c462de5873f4d48de8209ec26 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