start using mulitple different known_hosts

[home-base.git] / .ssh / config

diff --git a/.ssh/config b/.ssh/config
index 8d452d06d35744fdd821d9c121b08dfc06ca07b8..6b678ed50ca286855d355e39cbdae629ee83cda3 100644 (file)
--- a/.ssh/config
+++ b/.ssh/config
@@ -14,15 +14,26 @@ Host frogsleap.com
   User frogsleap
 Host *.debian.org
   IdentityFile ~/.ssh/identity_debian
+  UserKnownHostsFile ~/.ssh/known_hosts_debian
 Host *.sndservers.com
   IdentityFile ~/.ssh/identity_sndservers
+  UserKnownHostsFile ~/.ssh/known_hosts_sndservers
 # donarmstrong machines so I don't have to type them in
 Host archimedes.ucr.edu
+  User don
+  UserKnownHostsFile ~/.ssh/known_hosts_don
 Host rzlab.ucr.edu
+  User don
+  UserKnownHostsFile ~/.ssh/known_hosts_don
 Host spth1304.ucr.edu
+  User don
+  UserKnownHostsFile ~/.ssh/known_hosts_don
 Host svn.donarmstrong.com
+  User don
+  UserKnownHostsFile ~/.ssh/known_hosts_don
 Host crito.ucr.edu
   User don
+  UserKnownHostsFile ~/.ssh/known_hosts_don
 Host *.debconf.org
   IdentityFile ~/.ssh/identity_debconf
 Host comas.linux-aktivaattori.org