[ssh] hal bouge encore

diff --git a/.ssh/config b/.ssh/config
index 1209893697bdacaf860fa2530451206385ca82cd..e31c942b5a7cd85e3a04146b55c80e9630450240 100644 (file)
--- a/.ssh/config
+++ b/.ssh/config
@@ -1057,8 +1057,8 @@ 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
+Host hal hal.labo 129.175.30.228
+    HostName 129.175.20.228
     User vincent
     ForwardAgent yes
     ProxyCommand ssh pl-ssh.lri.fr -W %h:%p