14 IdentityFile ~/.ssh/identity_debian
15 # donarmstrong machines so I don't have to type them in
16 Host archimedes.ucr.edu
19 Host svn.donarmstrong.com
23 IdentityFile ~/.ssh/identity_debconf
24 Host comas.linux-aktivaattori.org
25 IdentityFile ~/.ssh/identity_debconf
26 # Propel consulting machinges
28 IdentityFile ~/.ssh/identity_propel
30 IdentityFile ~/.ssh/identity_propel
33 IdentityFile ~/.ssh/identity_propel
34 Host builder.lab.propel.com
36 IdentityFile ~/.ssh/identity_propel
37 Host debianarchive.lab.propel.com
39 IdentityFile ~/.ssh/identity_propel
42 IdentityFile ~/.ssh/identity_propel