Merge branch 'master' into perso

[config-20-100.git] / .ssh / config

diff --git a/.ssh/config b/.ssh/config
index ff709e3a403f126efcdcb76bd94177d6b9076a5d..1b76a2d3759749391293893ea669b146e2e30deb 100644 (file)
--- a/.ssh/config
+++ b/.ssh/config
@@ -342,7 +342,7 @@ Host dyson.adm munin.adm dyson.adm.crans.org munin.adm.crans.org
 
 Host ethercalc ethercalc.crans.org
     HostName ethercalc.crans.org
-    User legallic
+    User loginCr@ns
     ForwardAgent yes
 
 Host freebox freebox.crans.org