Merge branch 'master' into perso

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

diff --git a/.ssh/config b/.ssh/config
index 948571eb0721dc0dd5e37e01b0874663864d758e..04f9bd22414209bdc4006a38a9280737df7d145a 100644 (file)
--- a/.ssh/config
+++ b/.ssh/config
@@ -865,6 +865,7 @@ Host hexagon hexagon.federez.net
 Host tselin tselin.clietu tselin.clietu.ens-cachan.fr acces1.rip.ens-cachan.fr acces1 rip
     HostName tselin.clietu.ens-cachan.fr
     User vlegalli
+    ProxyCommand ssh vlegalli@tahines.ens-cachan.fr -W %h:%p
 
 Host tahines.ens-cachan.fr tahines2 tahines
     HostName tahines.ens-cachan.fr