16 IdentityFile ~/.ssh/identity_debian
17 # donarmstrong machines so I don't have to type them in
18 Host archimedes.ucr.edu
21 Host svn.donarmstrong.com
25 IdentityFile ~/.ssh/identity_debconf
26 Host comas.linux-aktivaattori.org
27 IdentityFile ~/.ssh/identity_debconf
28 # Propel consulting machinges
30 IdentityFile ~/.ssh/identity_propel
32 IdentityFile ~/.ssh/identity_propel
35 IdentityFile ~/.ssh/identity_propel
36 Host builder.lab.propel.com
38 IdentityFile ~/.ssh/identity_propel
39 Host debianarchive.lab.propel.com
41 IdentityFile ~/.ssh/identity_propel
44 IdentityFile ~/.ssh/identity_propel