[ssh] bde3-virt

diff --git a/.ssh/config b/.ssh/config
index 55d55680e28476e2ddc5f47b8834e452a69a0247..e67f776ecdb2cad153778b34b3e574034fc41029 100644 (file)
--- a/.ssh/config
+++ b/.ssh/config
@@ -220,6 +220,11 @@ Host note bde2-virt bde note.crans.ort bde2-virt.crans.org bde.crans.org
     User vincent
     ForwardAgent yes
 
+Host note bde3-virt bde note.crans.ort bde3-virt.crans.org bde.crans.org
+    HostName bde3-virt.crans.org
+    User vincent
+    ForwardAgent yes
+
 Host video videobde videobde.crans.org
     HostName videobde.crans.org
     User vincent