Merge branch 'master' into perso

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

diff --git a/.ssh/config b/.ssh/config
index 0ad5904a8c823fddff7d791880bcb481c31362d6..04f9bd22414209bdc4006a38a9280737df7d145a 100644 (file)
--- a/.ssh/config
+++ b/.ssh/config
@@ -2,6 +2,7 @@
 # par les gentils membres actifs du Cr@ns
 # Vous pouvez l'utilisez, le redistribuer, le modifier à votre convenance.
 # Des questions, des suggestions : {nounou,ca}@lists.crans.org
+#  Typiquement, vous pouvez proposer d'ajouter la conf pour accéder à votre département
 # Licence : WTFPL
 
 # Les sections commentées par #~# sont des features qui ne sont pas activées
@@ -864,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