ssh Télécom

diff --git a/.ssh/config b/.ssh/config
index aff818275703b66227e9b4335ed34703ac70ca26..2d03343fb5e8bc66333b990299a0e2d4959fedef 100644 (file)
--- a/.ssh/config
+++ b/.ssh/config
@@ -1097,5 +1097,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)