diff options
Diffstat (limited to 'accounts/gkleen@sif/ssh-hosts.nix')
-rw-r--r-- | accounts/gkleen@sif/ssh-hosts.nix | 190 |
1 files changed, 190 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..ffbd8c00 --- /dev/null +++ b/accounts/gkleen@sif/ssh-hosts.nix | |||
@@ -0,0 +1,190 @@ | |||
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".user = "kleen"; | ||
81 | "uniworx3" = | ||
82 | { hostname = "uniworx3.ifi.lmu.de"; | ||
83 | user = "root"; | ||
84 | identityFile = "~/.ssh/uni2work"; | ||
85 | }; | ||
86 | "uniworx4" = | ||
87 | { hostname = "uniworx4.ifi.lmu.de"; | ||
88 | user = "root"; | ||
89 | identityFile = "~/.ssh/uni2work"; | ||
90 | }; | ||
91 | "uni2workgw" = | ||
92 | { hostname = "uni2workgw.ifi.lmu.de"; | ||
93 | user = "root"; | ||
94 | identityFile = "~/.ssh/uni2work"; | ||
95 | }; | ||
96 | "uniworxdb" = | ||
97 | { hostname = "uniworxdb"; | ||
98 | proxyJump = "uniworx4"; | ||
99 | user = "root"; | ||
100 | identityFile = "~/.ssh/uni2work"; | ||
101 | }; | ||
102 | "uniworxdb2" = | ||
103 | { hostname = "uniworxdb2"; | ||
104 | proxyJump = "uniworx4"; | ||
105 | user = "root"; | ||
106 | identityFile = "~/.ssh/uni2work"; | ||
107 | }; | ||
108 | "gate2" = | ||
109 | { hostname = "gate2.tcs.ifi.lmu.de"; | ||
110 | user = "gkleen"; | ||
111 | identityFile = "~/.ssh/tcs"; | ||
112 | }; | ||
113 | "proxy.gate2" = | ||
114 | { hostname = "gate2.tcs.ifi.lmu.de"; | ||
115 | user = "gkleen"; | ||
116 | identityFile = "~/.ssh/proxy.gkleen@tcs.ifi.lmu.de"; | ||
117 | dynamicForwards = [ { port = 8118; } ]; | ||
118 | extraOptions = { | ||
119 | ExitOnForwardFailure = "yes"; | ||
120 | }; | ||
121 | }; | ||
122 | "jump.gate2" = | ||
123 | { hostname = "gate2.tcs.ifi.lmu.de"; | ||
124 | user = "gkleen"; | ||
125 | identityFile = "~/.ssh/proxy.gkleen@tcs.ifi.lmu.de"; | ||
126 | extraOptions = { | ||
127 | ExitOnForwardFailure = "yes"; | ||
128 | }; | ||
129 | }; | ||
130 | "gate" = | ||
131 | { hostname = "gate.tcs.ifi.lmu.de"; | ||
132 | user = "gkleen"; | ||
133 | identityFile = "~/.ssh/tcs"; | ||
134 | }; | ||
135 | "proxy.gate" = | ||
136 | { hostname = "gate.tcs.ifi.lmu.de"; | ||
137 | user = "gkleen"; | ||
138 | identityFile = "~/.ssh/proxy.gkleen@tcs.ifi.lmu.de"; | ||
139 | dynamicForwards = [ { port = 8118; } ]; | ||
140 | extraOptions = { | ||
141 | ExitOnForwardFailure = "yes"; | ||
142 | }; | ||
143 | }; | ||
144 | "jump.gate" = | ||
145 | { hostname = "gate.tcs.ifi.lmu.de"; | ||
146 | user = "gkleen"; | ||
147 | identityFile = "~/.ssh/proxy.gkleen@tcs.ifi.lmu.de"; | ||
148 | extraOptions = { | ||
149 | ExitOnForwardFailure = "yes"; | ||
150 | }; | ||
151 | }; | ||
152 | "oregon" = | ||
153 | { hostname = "oregon.tcs.ifi.lmu.de"; | ||
154 | user = "root"; | ||
155 | identityFile = "~/.ssh/tcs"; | ||
156 | }; | ||
157 | "witbank" = | ||
158 | { hostname = "witbank.tcs.ifi.lmu.de"; | ||
159 | user = "uni2work"; | ||
160 | identityFile = "~/.ssh/letz"; | ||
161 | }; | ||
162 | "git.odin" = | ||
163 | { hostname = "odin.asgard.yggdrasil"; | ||
164 | user = "gitolite"; | ||
165 | }; | ||
166 | "notmuch.odin" = | ||
167 | { hostname = "odin.asgard.yggdrasil"; | ||
168 | identityFile = "~/.ssh/notmuch.odin.asgard.yggdrasil"; | ||
169 | }; | ||
170 | "status.odin" = | ||
171 | { hostname = "odin.asgard.yggdrasil"; | ||
172 | identityFile = "~/.ssh/status.odin.asgard.yggdrasil"; | ||
173 | extraOptions.ControlPath = "~/.ssh/status-%r@%n:%p"; | ||
174 | }; | ||
175 | "moden" = | ||
176 | { hostname = "oristano.tcs.ifi.lmu.de"; | ||
177 | user = "gkleen"; | ||
178 | port = 30363; | ||
179 | identityFile = "~/.ssh/gkleen@oristano.tcs.ifi.lmu.de"; | ||
180 | }; | ||
181 | "ubuntu1804" = | ||
182 | { hostname = "192.168.122.30"; | ||
183 | identityFile = "~/.ssh/gkleen@sif.midgard.yggdrasil"; | ||
184 | forwardAgent = true; | ||
185 | }; | ||
186 | "gitlab.haskell.org" = | ||
187 | { hostname = "gitlab.haskell.org"; | ||
188 | identityFile = "~/.ssh/gkleen@gitlab.haskell.org"; | ||
189 | }; | ||
190 | } | ||