diff options
Diffstat (limited to 'accounts')
| -rw-r--r-- | accounts/gkleen@sif/ssh-hosts.nix | 3 |
1 files changed, 0 insertions, 3 deletions
diff --git a/accounts/gkleen@sif/ssh-hosts.nix b/accounts/gkleen@sif/ssh-hosts.nix index 7cd075a3..6b158130 100644 --- a/accounts/gkleen@sif/ssh-hosts.nix +++ b/accounts/gkleen@sif/ssh-hosts.nix | |||
| @@ -393,9 +393,6 @@ | |||
| 393 | proxyJump = "vidhar"; | 393 | proxyJump = "vidhar"; |
| 394 | identityFile = "~/.ssh/gkleen@sif.midgard.yggdrasil"; | 394 | identityFile = "~/.ssh/gkleen@sif.midgard.yggdrasil"; |
| 395 | }; | 395 | }; |
| 396 | "webdev02-mwn.lrz.de" = | ||
| 397 | { proxyCommand = "${pkgs.socat}/bin/socat - SOCKS4A:127.0.0.1:%h:%p,socksport=8118"; | ||
| 398 | }; | ||
| 399 | "yggdrasil.borgbase" = | 396 | "yggdrasil.borgbase" = |
| 400 | { hostname = "nx69hpl8.repo.borgbase.com"; | 397 | { hostname = "nx69hpl8.repo.borgbase.com"; |
| 401 | user = "nx69hpl8"; | 398 | user = "nx69hpl8"; |