Erreur sur l'IP de hal au labo

diff --git a/.ssh/config b/.ssh/config
index e31c942b5a7cd85e3a04146b55c80e9630450240..69e5f4313b680d5aec2f6aace49d7152db38daf4 100644 (file)
--- a/.ssh/config
+++ b/.ssh/config
@@ -1058,7 +1058,7 @@ Host labo lri30-13 lri30-13.lri.fr
     ProxyCommand ssh pl-ssh.lri.fr -W %h:%p
 
 Host hal hal.labo 129.175.30.228
-    HostName 129.175.20.228
+    HostName 129.175.30.228
     User vincent
     ForwardAgent yes
     ProxyCommand ssh pl-ssh.lri.fr -W %h:%p