10 IdentityFile ~/.ssh/identity_debian
11 # donarmstrong machines so I don't have to type them in
12 Host archimedes.ucr.edu
15 Host svn.donarmstrong.com
18 Host comas.linux-aktivaattori.org
19 IdentityFile ~/.ssh/identity_debconf
20 # Propel consulting machinges
22 IdentityFile ~/.ssh/identity_propel
24 IdentityFile ~/.ssh/identity_propel
27 IdentityFile ~/.ssh/identity_propel
28 Host builder.lab.propel.com
30 IdentityFile ~/.ssh/identity_propel
31 Host debianarchive.lab.propel.com
33 IdentityFile ~/.ssh/identity_propel
36 IdentityFile ~/.ssh/identity_propel