Merge branch 'master' into perso

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

diff --git a/.ssh/config b/.ssh/config
index 45c163399a852085c9ee2e01e5a4c92e59620106..ff709e3a403f126efcdcb76bd94177d6b9076a5d 100644 (file)
--- a/.ssh/config
+++ b/.ssh/config
@@ -285,7 +285,7 @@ Host git git.crans.org
     User legallic
     ForwardAgent yes
 
-Host charybde.adm ftp.adm git.adm mirror.adm ntp.adm charybde.adm.crans.org ftp.adm.crans.org mirror.adm.crans.org ntp.adm.crans.org git.adm.crans.org
+Host charybde.adm ftp.adm mirror.adm ntp.adm charybde.adm.crans.org ftp.adm.crans.org mirror.adm.crans.org ntp.adm.crans.org
     HostName charybde.adm.crans.org
     User legallic
     ForwardAgent yes
@@ -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