Merge branch 'master' into perso

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

diff --git a/.ssh/config b/.ssh/config
index e739518e882f7b38a54494a82aefd82a14d35727..ff709e3a403f126efcdcb76bd94177d6b9076a5d 100644 (file)
--- a/.ssh/config
+++ b/.ssh/config
@@ -340,6 +340,11 @@ Host dyson.adm munin.adm dyson.adm.crans.org munin.adm.crans.org
     User legallic
     ForwardAgent yes
 
+Host ethercalc ethercalc.crans.org
+    HostName ethercalc.crans.org
+    User legallic
+    ForwardAgent yes
+
 Host freebox freebox.crans.org
     HostName freebox.crans.org
     User legallic
@@ -971,7 +976,7 @@ Host sas sas.eleves.ens.fr
 # +------------------+
 # Machines du département informatique de l'ENSC
 
-Host dptinfo21.dptinfo.ens-cachan.fr info21 infossh ssh.dptinfo
+Host dptinfo21.dptinfo.ens-cachan.fr info21 infossh ssh.dptinfo ssh.dptinfo.ens-cachan.fr
     #HostName 138.231.36.60
     HostName ssh.dptinfo.ens-cachan.fr
     User vlegalli