Merge branch 'perso' of ssh://cerebro.crans.org/git/fichiers_configuration_branchpers...

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

diff --git a/.ssh/config b/.ssh/config
index aff818275703b66227e9b4335ed34703ac70ca26..f465ad13079c841b6ab9fe09237501a7a3d7a05a 100644 (file)
--- a/.ssh/config
+++ b/.ssh/config
@@ -766,16 +766,6 @@ Host sable.adm proxy.adm sable.adm.crans.org proxy.adm.crans.org
     User legallic
     ForwardAgent yes
 
-Host sogo sogo-srv sogo.crans.org sogo-srv.crans.org
-    HostName sogo.crans.org
-    User legallic
-    ForwardAgent yes
-
-Host sogo.adm sogo.adm.crans.org
-    HostName sogo.adm.crans.org
-    User legallic
-    ForwardAgent yes
-
 Host soyouz soyoustart soyouz.crans.org soyoustart.crans.org
     HostName soyouz.crans.org
     User legallic
@@ -1097,5 +1087,13 @@ Host mars mars.lbpa mars.lbpa.ens-cachan.fr
     User vincent
     ProxyCommand ssh vlegalli@tahines.ens-cachan.fr -W %h:%p
 
+# +---------+
+# | Télécom |
+# +---------+
+
+Host rabban rabban.enst.fr
+    HostName rabban.enst.fr
+    User legallic
+
 # END (utile pour éviter les merge conflicts)