cabal n'est plus sur le campus, mais il existe zeldren

diff --git a/.ssh/config b/.ssh/config
index db45838545f9956c462de5873f4d48de8209ec26..4c10e3340e867862c881ba8db0de289d9bc9aa61 100644 (file)
--- a/.ssh/config
+++ b/.ssh/config
@@ -102,8 +102,8 @@ Host evaw.home evaw
     ForwardAgent yes
     ProxyCommand ssh home.b2moo.fr -W %h:%p
 
-Host cabal.crans.org cabal.crans
-    HostName cabal.crans.org
+Host zeldren.crans.org cabal.crans zeldren
+    HostName zeldren.crans.org
     User vincent
     ForwardAgent yes