From e203311de813949dec992b76b04410068768eaf5 Mon Sep 17 00:00:00 2001 From: Gregor Kleen Date: Wed, 10 Mar 2021 21:21:55 +0100 Subject: =?UTF-8?q?=E2=80=A6?= MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit --- accounts/gkleen@sif/ssh-hosts.nix | 22 ++++++++++++++++------ 1 file changed, 16 insertions(+), 6 deletions(-) (limited to 'accounts/gkleen@sif/ssh-hosts.nix') 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 @@ port = 30363; identityFile = "~/.ssh/testworx"; }; - "remote.cip.ifi.lmu.de".user = "kleen"; + "remote.cip.ifi.lmu.de" = + { user = "kleen"; + identityFile = "~/.ssh/gkleen@sif.midgard.yggdrasil"; + }; "uniworx3" = { hostname = "uniworx3.ifi.lmu.de"; user = "root"; @@ -93,15 +96,14 @@ user = "root"; identityFile = "~/.ssh/uni2work"; }; - "uniworxdb" = - { hostname = "uniworxdb"; + "uniworxdb2" = + { hostname = "uniworxdb2"; proxyJump = "uniworx4"; user = "root"; identityFile = "~/.ssh/uni2work"; }; - "uniworxdb2" = - { hostname = "uniworxdb2"; - proxyJump = "uniworx4"; + "uniworx5" = + { hostname = "uniworx5.ifi.lmu.de"; user = "root"; identityFile = "~/.ssh/uni2work"; }; @@ -109,12 +111,14 @@ { hostname = "gate2.tcs.ifi.lmu.de"; user = "gkleen"; identityFile = "~/.ssh/tcs"; + serverAliveInterval = 0; }; "proxy.gate2" = { hostname = "gate2.tcs.ifi.lmu.de"; user = "gkleen"; identityFile = "~/.ssh/proxy.gkleen@tcs.ifi.lmu.de"; dynamicForwards = [ { port = 8118; } ]; + serverAliveInterval = 0; extraOptions = { ExitOnForwardFailure = "yes"; }; @@ -123,6 +127,7 @@ { hostname = "gate2.tcs.ifi.lmu.de"; user = "gkleen"; identityFile = "~/.ssh/proxy.gkleen@tcs.ifi.lmu.de"; + serverAliveInterval = 0; extraOptions = { ExitOnForwardFailure = "yes"; }; @@ -196,4 +201,9 @@ { hostname = "gitlab.haskell.org"; identityFile = "~/.ssh/gkleen@gitlab.haskell.org"; }; + "gitlab.lrz.de" = + { hostname = "gitlab.lrz.de"; + user = "git"; + identityFile = "~/.ssh/gkleen@gitlab.lrz.de"; + }; } -- cgit v1.2.3