Host ernst.ucr.edu
User zido
+Host ralph.ucr.edu
+ User zido
Host volo
User don
HostKeyAlias volo
CheckHostIP no
+Host zeto
+ User don
+ HostKeyAlias zeto
+ CheckHostIP no
Host frogsleap.com
User frogsleap
Host *.debian.org
IdentityFile ~/.ssh/identity_debian
+Host *.sndservers.com
+ IdentityFile ~/.ssh/identity_sndservers
# donarmstrong machines so I don't have to type them in
Host archimedes.ucr.edu
Host rzlab.ucr.edu