[ssh] ajout de l'alias bde à bde2-virt

diff --git a/.ssh/config b/.ssh/config
index 47739fa373f30656d0a43c380594237b1b7fa793..84c84d5ec8c7d2ee774894816fe33d4a9ae20fe8 100644 (file)
--- a/.ssh/config
+++ b/.ssh/config
@@ -215,7 +215,7 @@ Host bde3 bde3.crans.org
     User vincent
     ForwardAgent yes
 
-Host note bde2-virt note.crans.ort bde2-virt.crans.org
+Host note bde2-virt bde note.crans.ort bde2-virt.crans.org bde.crans.org
     HostName bde2-virt.crans.org
     User vincent
     ForwardAgent yes