diff options
Diffstat (limited to 'accounts/gkleen@sif/ssh-hosts.nix')
-rw-r--r-- | accounts/gkleen@sif/ssh-hosts.nix | 209 |
1 files changed, 209 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..0db4e342 --- /dev/null +++ b/accounts/gkleen@sif/ssh-hosts.nix | |||
@@ -0,0 +1,209 @@ | |||
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 | "odin" = | ||
31 | { hostname = "odin.asgard.yggdrasil"; | ||
32 | identityFile = "~/.ssh/gkleen@sif.midgard.yggdrasil"; | ||
33 | }; | ||
34 | "init.odin" = | ||
35 | { hostname = "odin.asgard.yggdrasil"; | ||
36 | user = "root"; | ||
37 | identityFile = "~/.ssh/rsa.gkleen@hel.midgard.yggdrasil"; | ||
38 | extraOptions = { | ||
39 | StrictHostKeyChecking = "off"; | ||
40 | }; | ||
41 | }; | ||
42 | "heimdallr" = | ||
43 | { hostname = "heimdallr.asgard.yggdrasil"; | ||
44 | user = "root"; | ||
45 | identityFile = "~/.ssh/gkleen@sif.midgard.yggdrasil"; | ||
46 | }; | ||
47 | "gitlab2.rz.ifi.lmu.de" = | ||
48 | { user = "git"; | ||
49 | identityFile = "~/.ssh/gkleen@gitlab2.rz.ifi.lmu.de"; | ||
50 | }; | ||
51 | "gitlab2.cip.ifi.lmu.de" = | ||
52 | { user = "git"; | ||
53 | identityFile = "~/.ssh/gkleen@sif.midgard.yggdrasil"; | ||
54 | }; | ||
55 | "hel".hostname = "hel.midgard.yggdrasil"; | ||
56 | "blackbeard" = | ||
57 | { hostname = "blackbeard.tcs.ifi.lmu.de"; | ||
58 | user = "pi"; | ||
59 | identityFile = "~/.ssh/blackbeard"; | ||
60 | }; | ||
61 | "github.com" = | ||
62 | { user = "git"; | ||
63 | identityFile = "~/.ssh/gkleen@github.com"; | ||
64 | }; | ||
65 | "ullr.playat.ch" = | ||
66 | { hostname = "ullr.playat.ch"; | ||
67 | user = "minecraft"; | ||
68 | identityFile = "~/.ssh/minecraft@ullr.playat.ch"; | ||
69 | }; | ||
70 | "ullr" = | ||
71 | { hostname = "185.170.112.70"; | ||
72 | identityFile = "~/.ssh/gkleen@sif.midgard.yggdrasil"; | ||
73 | }; | ||
74 | "testworx" = | ||
75 | { hostname = "testworx.tcs.ifi.lmu.de"; | ||
76 | user = "root"; | ||
77 | port = 30363; | ||
78 | identityFile = "~/.ssh/testworx"; | ||
79 | }; | ||
80 | "remote.cip.ifi.lmu.de" = | ||
81 | { user = "kleen"; | ||
82 | identityFile = "~/.ssh/gkleen@sif.midgard.yggdrasil"; | ||
83 | }; | ||
84 | "uniworx3" = | ||
85 | { hostname = "uniworx3.ifi.lmu.de"; | ||
86 | user = "root"; | ||
87 | identityFile = "~/.ssh/uni2work"; | ||
88 | }; | ||
89 | "uniworx4" = | ||
90 | { hostname = "uniworx4.ifi.lmu.de"; | ||
91 | user = "root"; | ||
92 | identityFile = "~/.ssh/uni2work"; | ||
93 | }; | ||
94 | "uni2workgw" = | ||
95 | { hostname = "uni2workgw.ifi.lmu.de"; | ||
96 | user = "root"; | ||
97 | identityFile = "~/.ssh/uni2work"; | ||
98 | }; | ||
99 | "uniworxdb2" = | ||
100 | { hostname = "uniworxdb2"; | ||
101 | proxyJump = "uniworx4"; | ||
102 | user = "root"; | ||
103 | identityFile = "~/.ssh/uni2work"; | ||
104 | }; | ||
105 | "uniworx5" = | ||
106 | { hostname = "uniworx5.ifi.lmu.de"; | ||
107 | user = "root"; | ||
108 | identityFile = "~/.ssh/uni2work"; | ||
109 | }; | ||
110 | "gate2" = | ||
111 | { hostname = "gate2.tcs.ifi.lmu.de"; | ||
112 | user = "gkleen"; | ||
113 | identityFile = "~/.ssh/tcs"; | ||
114 | serverAliveInterval = 0; | ||
115 | }; | ||
116 | "proxy.gate2" = | ||
117 | { hostname = "gate2.tcs.ifi.lmu.de"; | ||
118 | user = "gkleen"; | ||
119 | identityFile = "~/.ssh/proxy.gkleen@tcs.ifi.lmu.de"; | ||
120 | dynamicForwards = [ { port = 8118; } ]; | ||
121 | serverAliveInterval = 0; | ||
122 | extraOptions = { | ||
123 | ExitOnForwardFailure = "yes"; | ||
124 | }; | ||
125 | }; | ||
126 | "jump.gate2" = | ||
127 | { hostname = "gate2.tcs.ifi.lmu.de"; | ||
128 | user = "gkleen"; | ||
129 | identityFile = "~/.ssh/proxy.gkleen@tcs.ifi.lmu.de"; | ||
130 | serverAliveInterval = 0; | ||
131 | extraOptions = { | ||
132 | ExitOnForwardFailure = "yes"; | ||
133 | }; | ||
134 | }; | ||
135 | "gate" = | ||
136 | { hostname = "gate.tcs.ifi.lmu.de"; | ||
137 | user = "gkleen"; | ||
138 | identityFile = "~/.ssh/tcs"; | ||
139 | }; | ||
140 | "proxy.gate" = | ||
141 | { hostname = "gate.tcs.ifi.lmu.de"; | ||
142 | user = "gkleen"; | ||
143 | identityFile = "~/.ssh/proxy.gkleen@tcs.ifi.lmu.de"; | ||
144 | dynamicForwards = [ { port = 8118; } ]; | ||
145 | extraOptions = { | ||
146 | ExitOnForwardFailure = "yes"; | ||
147 | }; | ||
148 | }; | ||
149 | "jump.gate" = | ||
150 | { hostname = "gate.tcs.ifi.lmu.de"; | ||
151 | user = "gkleen"; | ||
152 | identityFile = "~/.ssh/proxy.gkleen@tcs.ifi.lmu.de"; | ||
153 | extraOptions = { | ||
154 | ExitOnForwardFailure = "yes"; | ||
155 | }; | ||
156 | }; | ||
157 | "oregon" = | ||
158 | { hostname = "oregon.tcs.ifi.lmu.de"; | ||
159 | user = "root"; | ||
160 | identityFile = "~/.ssh/tcs"; | ||
161 | }; | ||
162 | "proxy.oregon" = | ||
163 | { hostname = "oregon.tcs.ifi.lmu.de"; | ||
164 | user = "root"; | ||
165 | identityFile = "~/.ssh/tcs"; | ||
166 | dynamicForwards = [ { port = 8113; } ]; | ||
167 | extraOptions = { | ||
168 | ExitOnForwardFailure = "yes"; | ||
169 | }; | ||
170 | }; | ||
171 | "witbank" = | ||
172 | { hostname = "witbank.tcs.ifi.lmu.de"; | ||
173 | user = "uni2work"; | ||
174 | identityFile = "~/.ssh/letz"; | ||
175 | }; | ||
176 | "git.odin" = | ||
177 | { hostname = "odin.asgard.yggdrasil"; | ||
178 | user = "gitolite"; | ||
179 | }; | ||
180 | "notmuch.odin" = | ||
181 | { hostname = "odin.asgard.yggdrasil"; | ||
182 | identityFile = "~/.ssh/notmuch.odin.asgard.yggdrasil"; | ||
183 | }; | ||
184 | "status.odin" = | ||
185 | { hostname = "odin.asgard.yggdrasil"; | ||
186 | identityFile = "~/.ssh/status.odin.asgard.yggdrasil"; | ||
187 | extraOptions.ControlPath = "~/.ssh/status-%r@%n:%p"; | ||
188 | }; | ||
189 | "moden" = | ||
190 | { hostname = "oristano.tcs.ifi.lmu.de"; | ||
191 | user = "gkleen"; | ||
192 | port = 30363; | ||
193 | identityFile = "~/.ssh/gkleen@oristano.tcs.ifi.lmu.de"; | ||
194 | }; | ||
195 | "ubuntu1804" = | ||
196 | { hostname = "192.168.122.30"; | ||
197 | identityFile = "~/.ssh/gkleen@sif.midgard.yggdrasil"; | ||
198 | forwardAgent = true; | ||
199 | }; | ||
200 | "gitlab.haskell.org" = | ||
201 | { hostname = "gitlab.haskell.org"; | ||
202 | identityFile = "~/.ssh/gkleen@gitlab.haskell.org"; | ||
203 | }; | ||
204 | "gitlab.lrz.de" = | ||
205 | { hostname = "gitlab.lrz.de"; | ||
206 | user = "git"; | ||
207 | identityFile = "~/.ssh/gkleen@gitlab.lrz.de"; | ||
208 | }; | ||
209 | } | ||