summaryrefslogtreecommitdiff
path: root/accounts/gkleen@sif/ssh-hosts.nix
diff options
context:
space:
mode:
Diffstat (limited to 'accounts/gkleen@sif/ssh-hosts.nix')
-rw-r--r--accounts/gkleen@sif/ssh-hosts.nix209
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}