From 3b42db1b28bfaad812124e2ebcf2028f2d8a428d Mon Sep 17 00:00:00 2001
From: Vincent Le Gallic <legallic@crans.org>
Date: Fri, 12 Dec 2014 16:42:48 +0100
Subject: [PATCH] =?utf8?q?[ssh]=20Acc=C3=A8s=20=C3=A0=20hal=20au=20labo?=
MIME-Version: 1.0
Content-Type: text/plain; charset=utf8
Content-Transfer-Encoding: 8bit

---
 .ssh/config | 6 ++++++
 1 file changed, 6 insertions(+)

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)
 
-- 
2.39.2