[ssh] Mon known_hosts fait des bébés

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

diff --git a/.ssh/config b/.ssh/config
index eaf8df10715c8f740fc5fdc5dc48d3628ee3456a..96ca5820f0897adbd62edd935a487226a0654f7f 100644 (file)
--- a/.ssh/config
+++ b/.ssh/config
@@ -48,6 +48,7 @@ ServerAliveCountMax 3
 # ProxyCommand = pour passer par un autre serveur intermédiaire
 #                (pour un serveur qui ne peut pas être contacté directement)
 
+UserKnownHostsFile ~/.ssh/known_hosts ~/.ssh/known_hosts_crans ~/.ssh/known_hosts_dptinfo
 
 # +--------------+
 # | Mes machines |
@@ -205,7 +206,7 @@ Host bde-test note-test bde-test.crans.org note-test.crans.org
     User vincent
     ForwardAgent yes
 
-Host ldap-bde bde2 bde-fallback bde2.crans.org ldap-bde.crans.org bde-fallback.crans.org
+Host bde2 bde-fallback bde2.crans.org ldap-bde.crans.org bde-fallback.crans.org
     HostName bde2.crans.org
     User vincent
     ForwardAgent yes
@@ -215,7 +216,7 @@ Host bde3 bde3.crans.org
     User vincent
     ForwardAgent yes
 
-Host note bde2-virt bde note.crans.ort bde2-virt.crans.org bde.crans.org
+Host note bde2-virt bde ldap-bde note.crans.ort bde2-virt.crans.org bde.crans.org
     HostName bde2-virt.crans.org
     User vincent
     ForwardAgent yes