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 comas.linux-aktivaattori.org
IdentityFile ~/.ssh/identity_debconf
# Propel consulting machinges