clipper est mort, utiliser sas

diff --git a/.ssh/config b/.ssh/config
index e21808f0b3743483df57a9e8001ba1b902e3589b..974b13b336ae9b87f820f3f582257a045db9b89c 100644 (file)
--- a/.ssh/config
+++ b/.ssh/config
@@ -887,6 +887,10 @@ Host clipper clipper.ens.fr
     HostName clipper.ens.fr
     User legallic
 
+Host sas sas.eleves.ens.fr
+    HostName sas.eleves.ens.fr
+    User legallic
+
 
 # +------------------+
 # | Département info |