+ 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 *.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