add ralph.ucr.edu
[home-base.git] / .ssh / config
1 Host ernst.ucr.edu
2   User zido
3 Host ralph.ucr.edu
4   User zido
5 Host volo
6   User don
7   HostKeyAlias volo
8   CheckHostIP no
9 Host zeto
10   User don
11   HostKeyAlias zeto
12   CheckHostIP no
13 Host frogsleap.com
14   User frogsleap
15 Host *.debian.org
16   IdentityFile ~/.ssh/identity_debian
17 # donarmstrong machines so I don't have to type them in
18 Host archimedes.ucr.edu
19 Host rzlab.ucr.edu
20 Host spth1304.ucr.edu
21 Host svn.donarmstrong.com
22 Host crito.ucr.edu
23   User don
24 Host *.debconf.org
25   IdentityFile ~/.ssh/identity_debconf
26 Host comas.linux-aktivaattori.org
27   IdentityFile ~/.ssh/identity_debconf
28 # Propel consulting machinges
29 Host 172.16.0.59
30   IdentityFile ~/.ssh/identity_propel
31 Host xen.propel.com
32   IdentityFile ~/.ssh/identity_propel
33 Host scs.propel.com
34   User darmstrong
35   IdentityFile ~/.ssh/identity_propel
36 Host builder.lab.propel.com
37   User don
38   IdentityFile ~/.ssh/identity_propel
39 Host debianarchive.lab.propel.com
40   User don
41   IdentityFile ~/.ssh/identity_propel
42 Host *.lab.propel.com
43   User darmstrong
44   IdentityFile ~/.ssh/identity_propel