From e50397b48a369c0e4446e1d3ae960edda1e54aaa Mon Sep 17 00:00:00 2001
From: Gregor Kleen <gkleen@yggdrasil.li>
Date: Thu, 17 Nov 2022 16:55:12 +0100
Subject: ...

---
 accounts/gkleen@sif/ssh-hosts.nix | 5 +++--
 1 file changed, 3 insertions(+), 2 deletions(-)

(limited to 'accounts')

diff --git a/accounts/gkleen@sif/ssh-hosts.nix b/accounts/gkleen@sif/ssh-hosts.nix
index 7dfb0765..92279b02 100644
--- a/accounts/gkleen@sif/ssh-hosts.nix
+++ b/accounts/gkleen@sif/ssh-hosts.nix
@@ -128,7 +128,7 @@
         ExitOnForwardFailure = "yes";
       };
     };
-  "jump.gate2" = 
+  "jump.gate2" =
      { hostname = "gate2.tcs.ifi.lmu.de";
        user = "gkleen";
        identityFile = "~/.ssh/proxy.gkleen@tcs.ifi.lmu.de";
@@ -151,7 +151,7 @@
         ExitOnForwardFailure = "yes";
       };
     };
-  "jump.gate" = 
+  "jump.gate" =
      { hostname = "gate.tcs.ifi.lmu.de";
        user = "gkleen";
        identityFile = "~/.ssh/proxy.gkleen@tcs.ifi.lmu.de";
@@ -308,6 +308,7 @@
     { hostname = "mathw0g.mathinst.loc";
       extraOptions = {
         ControlPath = "none";
+        ExitOnForwardFailure = "yes";
         ServerAliveCountMax = "15";
         ServerAliveInterval = "2";
       };
-- 
cgit v1.2.3