1 files changed, 4 insertions, 0 deletions

diff --git a/accounts/gkleen@sif/ssh-hosts.nix b/accounts/gkleen@sif/ssh-hosts.nix
index aab9e5b4..938e5af7 100644
--- a/accounts/gkleen@sif/ssh-hosts.nix
+++ b/accounts/gkleen@sif/ssh-hosts.nix
@@ -1,3 +1,4 @@
+{ pkgs, ... }:
 {
   "git.ymir" =
     { hostname = "ymir.yggdrasil.li";
@@ -382,4 +383,7 @@
       proxyJump = "vidhar";
       identityFile = "~/.ssh/gkleen@sif.midgard.yggdrasil";
     };
+  "webdev02-mwn.lrz.de" =
+    { proxyCommand = "${pkgs.socat}/bin/socat - SOCKS4A:127.0.0.1:%h:%p,socksport=8118";
+    };
 }