gkleen@sif: shell tweaks

1 files changed, 9 insertions, 0 deletions

diff --git a/accounts/gkleen@sif/ssh-hosts.nix b/accounts/gkleen@sif/ssh-hosts.nix
index ffbd8c00..8937e743 100644
--- a/accounts/gkleen@sif/ssh-hosts.nix
+++ b/accounts/gkleen@sif/ssh-hosts.nix
@@ -154,6 +154,15 @@
       user = "root";
       identityFile = "~/.ssh/tcs";
     };
+  "proxy.oregon" =
+    { hostname = "oregon.tcs.ifi.lmu.de";
+      user = "root";
+      identityFile = "~/.ssh/tcs";
+      dynamicForwards = [ { port = 8113; } ];
+      extraOptions = {
+        ExitOnForwardFailure = "yes";
+      };
+    };
   "witbank" =
     { hostname = "witbank.tcs.ifi.lmu.de";
       user = "uni2work";