-Host frogsleap.com
- User frogsleap
-Host *.debian.org
- IdentityFile ~/.ssh/identity_debian
-Host comas.linux-aktivaattori.org
- IdentityFile ~/.ssh/identity_debconf
+ IdentityFile ~/.ssh/identity_don
+Host zeto
+ User don
+ HostKeyAlias zeto
+ CheckHostIP no
+ IdentityFile ~/.ssh/identity_don
+# donarmstrong machines so I don't have to type them in
+Host archimedes.ucr.edu
+ User don
+ UserKnownHostsFile ~/.ssh/known_hosts_don
+ IdentityFile ~/.ssh/identity_don
+Host rzlab.ucr.edu
+ User don
+ UserKnownHostsFile ~/.ssh/known_hosts_don
+ IdentityFile ~/.ssh/identity_don
+Host spth1304.ucr.edu
+ User don
+ UserKnownHostsFile ~/.ssh/known_hosts_don
+ IdentityFile ~/.ssh/identity_don
+Host *.donarmstrong.com
+ User don
+ UserKnownHostsFile ~/.ssh/known_hosts_don
+ IdentityFile ~/.ssh/identity_don
+Host crito.ucr.edu
+ User don
+ UserKnownHostsFile ~/.ssh/known_hosts_don
+ IdentityFile ~/.ssh/identity_don