[ssh] ProxyCommand pour entrer au labo

diff --git a/.ssh/config b/.ssh/config
index b6de69ef2b574de65f9751368d5648c5b0ec2938..a2d44078918b1957b4eb448963e914bcec948dda 100644 (file)
--- a/.ssh/config
+++ b/.ssh/config
@@ -1021,6 +1021,7 @@ Host labo lri30-13 lri30-13.lri.fr
     HostName lri30-13.lri.fr
     User legallic
     ForwardAgent yes
+    ProxyCommand ssh pl-ssh.lri.fr -W %h:%p
 
 # END (utile pour éviter les merge conflicts)