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
19 IdentityFile ~/.ssh/identity_debconf
20 Host comas.linux-aktivaattori.org
21 IdentityFile ~/.ssh/identity_debconf
22 # Propel consulting machinges
24 IdentityFile ~/.ssh/identity_propel
26 IdentityFile ~/.ssh/identity_propel
29 IdentityFile ~/.ssh/identity_propel
30 Host builder.lab.propel.com
32 IdentityFile ~/.ssh/identity_propel
33 Host debianarchive.lab.propel.com
35 IdentityFile ~/.ssh/identity_propel
38 IdentityFile ~/.ssh/identity_propel