Host ernst.ucr.edu
User zido
+Host volo
+ User don
+ HostKeyAlias volo
+ CheckHostIP no
Host frogsleap.com
User frogsleap
Host *.debian.org
IdentityFile ~/.ssh/identity_debian
+# donarmstrong machines so I don't have to type them in
+Host archimedes.ucr.edu
+Host rzlab.ucr.edu
+Host spth1304.ucr.edu
+Host svn.donarmstrong.com
+Host crito.ucr.edu
+ User don
+Host *.debconf.org
+ IdentityFile ~/.ssh/identity_debconf
Host comas.linux-aktivaattori.org
IdentityFile ~/.ssh/identity_debconf
# Propel consulting machinges