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.nix22
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}