X-Git-Url: http://gitweb.pimeys.fr/?a=blobdiff_plain;f=.ssh%2Fconfig;h=cd667cfeaf67419fefc74f952b0fda3c8a36032e;hb=3b42db1b28bfaad812124e2ebcf2028f2d8a428d;hp=71c47fd181d6e58ab367e7311fe1d457bc1aa9da;hpb=69df557f48a29340fb5cd366b580ed3bf6ae1345;p=config-20-100.git

diff --git a/.ssh/config b/.ssh/config
index 71c47fd..cd667cf 100644
--- a/.ssh/config
+++ b/.ssh/config
@@ -1023,5 +1023,11 @@ Host labo lri30-13 lri30-13.lri.fr
     ForwardAgent yes
     ProxyCommand ssh pl-ssh.lri.fr -W %h:%p
 
+Host hal hal.labo 129.175.29.151
+    HostName 129.175.29.151
+    User vincent
+    ForwardAgent yes
+    ProxyCommand ssh pl-ssh.lri.fr -W %h:%p
+
 # END (utile pour éviter les merge conflicts)