ssh zeldren via plein de trucs #PeeringOrange

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

diff --git a/.ssh/config b/.ssh/config
index 439617c95949cca2ae71fc9cb6bfda1aa68f26a8..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
@@ -959,7 +969,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