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

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

diff --git a/.ssh/config b/.ssh/config
index 9b8458aedcfe4c72d0823657d44b621f05fc3d76..84c84d5ec8c7d2ee774894816fe33d4a9ae20fe8 100644 (file)
--- a/.ssh/config
+++ b/.ssh/config
@@ -188,6 +188,7 @@ Host kfet kfet.crans.org
     User bde
     # IPv4 only
     AddressFamily inet
+    ForwardAgent yes
 
 Host kfet-secours kfet-secours.crans.org
     HostName kfet-secours.crans.org
@@ -214,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