des alias de bde2 passent à bde2-virt

diff --git a/.ssh/config b/.ssh/config
index 69e5f4313b680d5aec2f6aace49d7152db38daf4..5d84bc59961ee11b66e6c09429613970a7537f50 100644 (file)
--- a/.ssh/config
+++ b/.ssh/config
@@ -198,8 +198,8 @@ Host bde-test note-test old-note bde-test.crans.org note-test.crans.org old-note
     User vincent
     ForwardAgent yes
 
-Host note bde2 note2 note.crans.org bde2.crans.org note2.crans.org
-    HostName note.crans.org
+Host ldap-bde bde2 note2 note.crans.org bde2.crans.org note2.crans.org ldap-bde.crans.org
+    HostName bde2.crans.org
     User vincent
     ForwardAgent yes
 
@@ -208,6 +208,11 @@ Host bde3 bde3.crans.org
     User vincent
     ForwardAgent yes
 
+Host note note-virt bde2-virt note.crans.ort note-virt.crans.org bde2-virt.crans.org
+    HostName bde2-virt.crans.org
+    User vincent
+    ForwardAgent yes
+
 Host video videobde videobde.crans.org
     HostName videobde.crans.org
     User vincent