[ssh] bde3-virt

[config-20-100.git] / .ssh / config

diff --git a/.ssh/config b/.ssh/config
index 47739fa373f30656d0a43c380594237b1b7fa793..e67f776ecdb2cad153778b34b3e574034fc41029 100644 (file)
--- a/.ssh/config
+++ b/.ssh/config
@@ -215,11 +215,16 @@ 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
 
+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
@@ -229,11 +234,9 @@ Host bureau bureau-bde bureau-bde.crans.org
     HostName bureau-bde.crans.org
     User bde
 
-Host vieux vm-vieux pot-vieux vieux.crans.org pot-vieux.crans.org
-    HostName vieux.crans.org
+Host med zavoyarde med.crans.org zavoyarde.crans.org
+    HostName zavoyarde.crans.org
     User vincent
-    ForwardAgent yes
-
 
 # +----+
 # | PE |