3 IdentityFile ~/.ssh/identity_frogsleap
5 IdentityFile ~/.ssh/identity_debian
6 UserKnownHostsFile ~/.ssh/known_hosts_debian
7 ProxyCommand sh -c 'if [ "$(hostname)" = "archimedes" ]; then exec nc -q 1:0 rietz.debian.org 22 2>/dev/null; else exec ssh archimedes.ucr.edu nc -q 1:0 rietz.debian.org 22 2>/dev/null; fi;'
9 IdentityFile ~/.ssh/identity_debian
10 UserKnownHostsFile ~/.ssh/known_hosts_debian
11 ProxyCommand sh -c 'if [ "$(hostname)" = "archimedes" ]; then exec nc -q 1:0 busoni.debian.org 22 2>/dev/null; else exec ssh archimedes.ucr.edu nc -q 1:0 busoni.debian.org 22 2>/dev/null; fi;'
12 Host vasks.debian.org git.debian.org svn.debian.org
13 ControlPath ~/tmp/vasks.debian.org_%p_%r
15 IdentityFile ~/.ssh/identity_debian
16 UserKnownHostsFile ~/.ssh/known_hosts_debian
19 Host *.prometheuslabor.com
21 IdentityFile ~/.ssh/identity_sndservers
22 UserKnownHostsFile ~/.ssh/known_hosts_sndservers
23 # machines in the don bit
26 IdentityFile ~/.ssh/identity_don
29 IdentityFile ~/.ssh/identity_don
30 Host volo dn-volo.donarmstrong.com
34 IdentityFile ~/.ssh/identity_don
35 ControlPath ~/tmp/volo_%p_%r
40 IdentityFile ~/.ssh/identity_don
41 # donarmstrong machines so I don't have to type them in
42 Host archimedes.ucr.edu dn-archimedes.donarmstrong.com
44 UserKnownHostsFile ~/.ssh/known_hosts_don
45 IdentityFile ~/.ssh/identity_don
46 ControlPath ~/tmp/archimedes_%p_%r
47 Host rzlab3.ucr.edu dn-rzlab3.donarmstrong.com
49 UserKnownHostsFile ~/.ssh/known_hosts_don
50 IdentityFile ~/.ssh/identity_don
51 ControlPath ~/tmp/rzlab3_%p_%r
52 Host rzlab.ucr.edu dn-rzlab.donarmstrong.com svn.donarmstrong.com git.donarmstrong.com
54 UserKnownHostsFile ~/.ssh/known_hosts_don
55 IdentityFile ~/.ssh/identity_don
56 ControlPath ~/tmp/rzlab_%p_%r
57 Host spth1304.ucr.edu dn-spth1304.donarmstrong.com
59 UserKnownHostsFile ~/.ssh/known_hosts_don
60 IdentityFile ~/.ssh/identity_don
61 ControlPath ~/tmp/spth1304.ucr.edu_%p_%r
62 Host *.donarmstrong.com
64 UserKnownHostsFile ~/.ssh/known_hosts_don
65 IdentityFile ~/.ssh/identity_don
68 UserKnownHostsFile ~/.ssh/known_hosts_don
69 IdentityFile ~/.ssh/identity_don
70 # Propel consulting machinges
72 IdentityFile ~/.ssh/identity_propel
74 IdentityFile ~/.ssh/identity_propel
77 IdentityFile ~/.ssh/identity_propel
78 Host pacific.propel.com
80 IdentityFile ~/.ssh/identity_propel
81 Host builder.lab.propel.com
83 IdentityFile ~/.ssh/identity_propel
84 Host debianarchive.lab.propel.com
86 IdentityFile ~/.ssh/identity_propel
89 IdentityFile ~/.ssh/identity_propel
92 IdentityFile ~/.ssh/identity_propel
95 IdentityFile ~/.ssh/identity_blogamundo
96 Host culinarytrends.net
98 IdentityFile ~/.ssh/identity_culinarytrends
99 Host alanarmstrong.com
101 IdentityFile ~/.ssh/identity_alanarmstrong
102 Host *.kneedraggers.com
104 IdentityFile ~/.ssh/identity_kneedraggers
107 IdentityFile ~/.ssh/identity_castello
110 IdentityFile ~/.ssh/identity_castello
113 IdentityFile ~/.ssh/identity_castello
114 UserKnownHostsFile ~/.ssh/known_hosts_castello
115 Host *.excelwholesale.com
116 Host lists.acbnrates.com
118 IdentityFile ~/.ssh/identity_excelwholesale
121 IdentityFile ~/.ssh/identity_debbugs_gnu
123 # This has to go at the bottom, because it doesn't get overridden
127 ControlPath ~/tmp/%h_%p_%r