diff options
Diffstat (limited to 'accounts/gkleen@sif/ssh-hosts.nix')
-rw-r--r-- | accounts/gkleen@sif/ssh-hosts.nix | 22 |
1 files changed, 16 insertions, 6 deletions
diff --git a/accounts/gkleen@sif/ssh-hosts.nix b/accounts/gkleen@sif/ssh-hosts.nix index 8937e743..0db4e342 100644 --- a/accounts/gkleen@sif/ssh-hosts.nix +++ b/accounts/gkleen@sif/ssh-hosts.nix | |||
@@ -77,7 +77,10 @@ | |||
77 | port = 30363; | 77 | port = 30363; |
78 | identityFile = "~/.ssh/testworx"; | 78 | identityFile = "~/.ssh/testworx"; |
79 | }; | 79 | }; |
80 | "remote.cip.ifi.lmu.de".user = "kleen"; | 80 | "remote.cip.ifi.lmu.de" = |
81 | { user = "kleen"; | ||
82 | identityFile = "~/.ssh/gkleen@sif.midgard.yggdrasil"; | ||
83 | }; | ||
81 | "uniworx3" = | 84 | "uniworx3" = |
82 | { hostname = "uniworx3.ifi.lmu.de"; | 85 | { hostname = "uniworx3.ifi.lmu.de"; |
83 | user = "root"; | 86 | user = "root"; |
@@ -93,15 +96,14 @@ | |||
93 | user = "root"; | 96 | user = "root"; |
94 | identityFile = "~/.ssh/uni2work"; | 97 | identityFile = "~/.ssh/uni2work"; |
95 | }; | 98 | }; |
96 | "uniworxdb" = | 99 | "uniworxdb2" = |
97 | { hostname = "uniworxdb"; | 100 | { hostname = "uniworxdb2"; |
98 | proxyJump = "uniworx4"; | 101 | proxyJump = "uniworx4"; |
99 | user = "root"; | 102 | user = "root"; |
100 | identityFile = "~/.ssh/uni2work"; | 103 | identityFile = "~/.ssh/uni2work"; |
101 | }; | 104 | }; |
102 | "uniworxdb2" = | 105 | "uniworx5" = |
103 | { hostname = "uniworxdb2"; | 106 | { hostname = "uniworx5.ifi.lmu.de"; |
104 | proxyJump = "uniworx4"; | ||
105 | user = "root"; | 107 | user = "root"; |
106 | identityFile = "~/.ssh/uni2work"; | 108 | identityFile = "~/.ssh/uni2work"; |
107 | }; | 109 | }; |
@@ -109,12 +111,14 @@ | |||
109 | { hostname = "gate2.tcs.ifi.lmu.de"; | 111 | { hostname = "gate2.tcs.ifi.lmu.de"; |
110 | user = "gkleen"; | 112 | user = "gkleen"; |
111 | identityFile = "~/.ssh/tcs"; | 113 | identityFile = "~/.ssh/tcs"; |
114 | serverAliveInterval = 0; | ||
112 | }; | 115 | }; |
113 | "proxy.gate2" = | 116 | "proxy.gate2" = |
114 | { hostname = "gate2.tcs.ifi.lmu.de"; | 117 | { hostname = "gate2.tcs.ifi.lmu.de"; |
115 | user = "gkleen"; | 118 | user = "gkleen"; |
116 | identityFile = "~/.ssh/proxy.gkleen@tcs.ifi.lmu.de"; | 119 | identityFile = "~/.ssh/proxy.gkleen@tcs.ifi.lmu.de"; |
117 | dynamicForwards = [ { port = 8118; } ]; | 120 | dynamicForwards = [ { port = 8118; } ]; |
121 | serverAliveInterval = 0; | ||
118 | extraOptions = { | 122 | extraOptions = { |
119 | ExitOnForwardFailure = "yes"; | 123 | ExitOnForwardFailure = "yes"; |
120 | }; | 124 | }; |
@@ -123,6 +127,7 @@ | |||
123 | { hostname = "gate2.tcs.ifi.lmu.de"; | 127 | { hostname = "gate2.tcs.ifi.lmu.de"; |
124 | user = "gkleen"; | 128 | user = "gkleen"; |
125 | identityFile = "~/.ssh/proxy.gkleen@tcs.ifi.lmu.de"; | 129 | identityFile = "~/.ssh/proxy.gkleen@tcs.ifi.lmu.de"; |
130 | serverAliveInterval = 0; | ||
126 | extraOptions = { | 131 | extraOptions = { |
127 | ExitOnForwardFailure = "yes"; | 132 | ExitOnForwardFailure = "yes"; |
128 | }; | 133 | }; |
@@ -196,4 +201,9 @@ | |||
196 | { hostname = "gitlab.haskell.org"; | 201 | { hostname = "gitlab.haskell.org"; |
197 | identityFile = "~/.ssh/gkleen@gitlab.haskell.org"; | 202 | identityFile = "~/.ssh/gkleen@gitlab.haskell.org"; |
198 | }; | 203 | }; |
204 | "gitlab.lrz.de" = | ||
205 | { hostname = "gitlab.lrz.de"; | ||
206 | user = "git"; | ||
207 | identityFile = "~/.ssh/gkleen@gitlab.lrz.de"; | ||
208 | }; | ||
199 | } | 209 | } |