summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-rw-r--r--accounts/gkleen@sif/ssh-hosts.nix4
1 files changed, 2 insertions, 2 deletions
diff --git a/accounts/gkleen@sif/ssh-hosts.nix b/accounts/gkleen@sif/ssh-hosts.nix
index 94a3b856..8156b6e0 100644
--- a/accounts/gkleen@sif/ssh-hosts.nix
+++ b/accounts/gkleen@sif/ssh-hosts.nix
@@ -292,7 +292,7 @@
292 { hostname = "mathw0g.math.lmu.de"; 292 { hostname = "mathw0g.math.lmu.de";
293 extraOptions = { 293 extraOptions = {
294 ControlPath = "none"; 294 ControlPath = "none";
295 ServerAliveCountMax = "3"; 295 ServerAliveCountMax = "10";
296 ServerAliveInterval = "1"; 296 ServerAliveInterval = "1";
297 }; 297 };
298 }; 298 };
@@ -302,7 +302,7 @@
302 extraOptions = { 302 extraOptions = {
303 ControlPath = "none"; 303 ControlPath = "none";
304 ExitOnForwardFailure = "yes"; 304 ExitOnForwardFailure = "yes";
305 ServerAliveCountMax = "3"; 305 ServerAliveCountMax = "10";
306 ServerAliveInterval = "1"; 306 ServerAliveInterval = "1";
307 }; 307 };
308 }; 308 };