diff options
Diffstat (limited to 'accounts/gkleen@sif/ssh-hosts.nix')
-rw-r--r-- | accounts/gkleen@sif/ssh-hosts.nix | 229 |
1 files changed, 229 insertions, 0 deletions
diff --git a/accounts/gkleen@sif/ssh-hosts.nix b/accounts/gkleen@sif/ssh-hosts.nix new file mode 100644 index 00000000..58e4957f --- /dev/null +++ b/accounts/gkleen@sif/ssh-hosts.nix | |||
@@ -0,0 +1,229 @@ | |||
1 | { | ||
2 | "git.ymir" = | ||
3 | { hostname = "ymir.yggdrasil.li"; | ||
4 | user = "gitolite"; | ||
5 | identityFile = "~/.ssh/gkleen@sif.midgard.yggdrasil"; | ||
6 | }; | ||
7 | "git.yggdrasil.li" = | ||
8 | { user = "gitolite"; | ||
9 | identityFile = "~/.ssh/gkleen@sif.midgard.yggdrasil"; | ||
10 | }; | ||
11 | "git.rheperire.org" = | ||
12 | { user = "gitolite"; | ||
13 | identityFile = "~/.ssh/gkleen@sif.midgard.yggdrasil"; | ||
14 | }; | ||
15 | "borg.munin" = | ||
16 | { hostname = "u120515.your-storagebox.de"; | ||
17 | user = "u120515"; | ||
18 | identityFile = "~/.ssh/borg.munin"; | ||
19 | port = 23; | ||
20 | }; | ||
21 | "munin" = | ||
22 | { hostname = "u120515.your-storagebox.de"; | ||
23 | user = "u120515"; | ||
24 | identityFile = "~/.ssh/munin"; | ||
25 | }; | ||
26 | "ymir" = | ||
27 | { hostname = "ymir.yggdrasil.li"; | ||
28 | identityFile = "~/.ssh/gkleen@sif.midgard.yggdrasil"; | ||
29 | }; | ||
30 | "surtr" = | ||
31 | { hostname = "surtr.yggdrasil.li"; | ||
32 | identityFile = "~/.ssh/gkleen@sif.midgard.yggdrasil"; | ||
33 | }; | ||
34 | "odin" = | ||
35 | { hostname = "odin.asgard.yggdrasil"; | ||
36 | identityFile = "~/.ssh/gkleen@sif.midgard.yggdrasil"; | ||
37 | }; | ||
38 | "init.odin" = | ||
39 | { hostname = "odin.asgard.yggdrasil"; | ||
40 | user = "root"; | ||
41 | identityFile = "~/.ssh/rsa.gkleen@hel.midgard.yggdrasil"; | ||
42 | extraOptions = { | ||
43 | StrictHostKeyChecking = "off"; | ||
44 | }; | ||
45 | }; | ||
46 | "heimdallr" = | ||
47 | { hostname = "heimdallr.asgard.yggdrasil"; | ||
48 | user = "root"; | ||
49 | identityFile = "~/.ssh/gkleen@sif.midgard.yggdrasil"; | ||
50 | }; | ||
51 | "gitlab2.rz.ifi.lmu.de" = | ||
52 | { user = "git"; | ||
53 | identityFile = "~/.ssh/gkleen@gitlab2.rz.ifi.lmu.de"; | ||
54 | }; | ||
55 | "gitlab2.cip.ifi.lmu.de" = | ||
56 | { user = "git"; | ||
57 | identityFile = "~/.ssh/gkleen@sif.midgard.yggdrasil"; | ||
58 | }; | ||
59 | "hel".hostname = "hel.midgard.yggdrasil"; | ||
60 | "blackbeard" = | ||
61 | { hostname = "blackbeard.tcs.ifi.lmu.de"; | ||
62 | user = "pi"; | ||
63 | identityFile = "~/.ssh/blackbeard"; | ||
64 | }; | ||
65 | "github.com" = | ||
66 | { user = "git"; | ||
67 | identityFile = "~/.ssh/gkleen@github.com"; | ||
68 | }; | ||
69 | "ullr.playat.ch" = | ||
70 | { hostname = "ullr.playat.ch"; | ||
71 | user = "minecraft"; | ||
72 | identityFile = "~/.ssh/minecraft@ullr.playat.ch"; | ||
73 | }; | ||
74 | "ullr" = | ||
75 | { hostname = "185.170.112.70"; | ||
76 | identityFile = "~/.ssh/gkleen@sif.midgard.yggdrasil"; | ||
77 | }; | ||
78 | "testworx" = | ||
79 | { hostname = "testworx.tcs.ifi.lmu.de"; | ||
80 | user = "root"; | ||
81 | port = 30363; | ||
82 | identityFile = "~/.ssh/testworx"; | ||
83 | }; | ||
84 | "remote.cip.ifi.lmu.de" = | ||
85 | { user = "kleen"; | ||
86 | identityFile = "~/.ssh/gkleen@sif.midgard.yggdrasil"; | ||
87 | }; | ||
88 | "uniworx3" = | ||
89 | { hostname = "uniworx3.ifi.lmu.de"; | ||
90 | user = "root"; | ||
91 | identityFile = "~/.ssh/uni2work"; | ||
92 | }; | ||
93 | "uniworx4" = | ||
94 | { hostname = "uniworx4.ifi.lmu.de"; | ||
95 | user = "root"; | ||
96 | identityFile = "~/.ssh/uni2work"; | ||
97 | }; | ||
98 | "jump.uniworx4" = | ||
99 | { hostname = "uniworx4.ifi.lmu.de"; | ||
100 | user = "sshjump"; | ||
101 | identityFile = "~/.ssh/sshjump.uni2work"; | ||
102 | }; | ||
103 | "uni2workgw" = | ||
104 | { hostname = "uni2workgw.ifi.lmu.de"; | ||
105 | user = "root"; | ||
106 | identityFile = "~/.ssh/uni2work"; | ||
107 | }; | ||
108 | "uniworxdb2" = | ||
109 | { hostname = "uniworxdb2"; | ||
110 | proxyJump = "uniworx4"; | ||
111 | user = "root"; | ||
112 | identityFile = "~/.ssh/uni2work"; | ||
113 | }; | ||
114 | "uniworx5" = | ||
115 | { hostname = "uniworx5.ifi.lmu.de"; | ||
116 | user = "root"; | ||
117 | identityFile = "~/.ssh/uni2work"; | ||
118 | }; | ||
119 | "gate2" = | ||
120 | { hostname = "gate2.tcs.ifi.lmu.de"; | ||
121 | user = "gkleen"; | ||
122 | identityFile = "~/.ssh/tcs"; | ||
123 | serverAliveInterval = 0; | ||
124 | }; | ||
125 | "proxy.gate2" = | ||
126 | { hostname = "gate2.tcs.ifi.lmu.de"; | ||
127 | user = "gkleen"; | ||
128 | identityFile = "~/.ssh/proxy.gkleen@tcs.ifi.lmu.de"; | ||
129 | dynamicForwards = [ { port = 8118; } ]; | ||
130 | serverAliveInterval = 0; | ||
131 | extraOptions = { | ||
132 | ExitOnForwardFailure = "yes"; | ||
133 | }; | ||
134 | }; | ||
135 | "jump.gate2" = | ||
136 | { hostname = "gate2.tcs.ifi.lmu.de"; | ||
137 | user = "gkleen"; | ||
138 | identityFile = "~/.ssh/proxy.gkleen@tcs.ifi.lmu.de"; | ||
139 | serverAliveInterval = 0; | ||
140 | extraOptions = { | ||
141 | ExitOnForwardFailure = "yes"; | ||
142 | }; | ||
143 | }; | ||
144 | "gate" = | ||
145 | { hostname = "gate.tcs.ifi.lmu.de"; | ||
146 | user = "gkleen"; | ||
147 | identityFile = "~/.ssh/tcs"; | ||
148 | }; | ||
149 | "proxy.gate" = | ||
150 | { hostname = "gate.tcs.ifi.lmu.de"; | ||
151 | user = "gkleen"; | ||
152 | identityFile = "~/.ssh/proxy.gkleen@tcs.ifi.lmu.de"; | ||
153 | dynamicForwards = [ { port = 8118; } ]; | ||
154 | extraOptions = { | ||
155 | ExitOnForwardFailure = "yes"; | ||
156 | }; | ||
157 | }; | ||
158 | "jump.gate" = | ||
159 | { hostname = "gate.tcs.ifi.lmu.de"; | ||
160 | user = "gkleen"; | ||
161 | identityFile = "~/.ssh/proxy.gkleen@tcs.ifi.lmu.de"; | ||
162 | extraOptions = { | ||
163 | ExitOnForwardFailure = "yes"; | ||
164 | }; | ||
165 | }; | ||
166 | "oregon" = | ||
167 | { hostname = "oregon.tcs.ifi.lmu.de"; | ||
168 | user = "root"; | ||
169 | identityFile = "~/.ssh/tcs"; | ||
170 | }; | ||
171 | "proxy.oregon" = | ||
172 | { hostname = "oregon.tcs.ifi.lmu.de"; | ||
173 | user = "root"; | ||
174 | identityFile = "~/.ssh/tcs"; | ||
175 | dynamicForwards = [ { port = 8113; } ]; | ||
176 | extraOptions = { | ||
177 | ExitOnForwardFailure = "yes"; | ||
178 | }; | ||
179 | }; | ||
180 | "witbank" = | ||
181 | { hostname = "witbank.tcs.ifi.lmu.de"; | ||
182 | user = "uni2work"; | ||
183 | identityFile = "~/.ssh/letz"; | ||
184 | }; | ||
185 | "git.odin" = | ||
186 | { hostname = "odin.asgard.yggdrasil"; | ||
187 | user = "gitolite"; | ||
188 | }; | ||
189 | "notmuch.odin" = | ||
190 | { hostname = "odin.asgard.yggdrasil"; | ||
191 | identityFile = "~/.ssh/notmuch.odin.asgard.yggdrasil"; | ||
192 | }; | ||
193 | "status.odin" = | ||
194 | { hostname = "odin.asgard.yggdrasil"; | ||
195 | identityFile = "~/.ssh/status.odin.asgard.yggdrasil"; | ||
196 | extraOptions.ControlPath = "~/.ssh/status-%r@%n:%p"; | ||
197 | }; | ||
198 | "moden" = | ||
199 | { hostname = "oristano.tcs.ifi.lmu.de"; | ||
200 | user = "gkleen"; | ||
201 | port = 30363; | ||
202 | identityFile = "~/.ssh/gkleen@oristano.tcs.ifi.lmu.de"; | ||
203 | }; | ||
204 | "ubuntu1804" = | ||
205 | { hostname = "192.168.122.30"; | ||
206 | identityFile = "~/.ssh/gkleen@sif.midgard.yggdrasil"; | ||
207 | forwardAgent = true; | ||
208 | }; | ||
209 | "gitlab.haskell.org" = | ||
210 | { hostname = "gitlab.haskell.org"; | ||
211 | identityFile = "~/.ssh/gkleen@gitlab.haskell.org"; | ||
212 | }; | ||
213 | "gitlab.lrz.de" = | ||
214 | { hostname = "gitlab.lrz.de"; | ||
215 | user = "git"; | ||
216 | identityFile = "~/.ssh/gkleen@gitlab.lrz.de"; | ||
217 | }; | ||
218 | "uni2work-dev1" = | ||
219 | { hostname = "uni2work-dev1.ifi.lmu.de"; | ||
220 | user = "gkleen"; | ||
221 | identityFile = "~/.ssh/uni2work"; | ||
222 | proxyJump = "jump.uniworx4"; | ||
223 | localForwards = [ | ||
224 | { bind = { address = "localhost"; port = 3940; }; | ||
225 | host = { address = "localhost"; port = 3940; }; | ||
226 | } | ||
227 | ]; | ||
228 | }; | ||
229 | } | ||