diff options
Diffstat (limited to 'accounts')
-rw-r--r-- | accounts/gkleen@sif/default.nix | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/accounts/gkleen@sif/default.nix b/accounts/gkleen@sif/default.nix index bfa69637..52d6c29e 100644 --- a/accounts/gkleen@sif/default.nix +++ b/accounts/gkleen@sif/default.nix | |||
@@ -76,7 +76,7 @@ in { | |||
76 | IdentityFile ~/.ssh/gkleen@mathinst.loc | 76 | IdentityFile ~/.ssh/gkleen@mathinst.loc |
77 | HostKeyAlgorithms +ssh-rsa | 77 | HostKeyAlgorithms +ssh-rsa |
78 | PubkeyAcceptedAlgorithms +ssh-rsa | 78 | PubkeyAcceptedAlgorithms +ssh-rsa |
79 | ConnectTimeout 20 | 79 | ConnectTimeout 30 |
80 | 80 | ||
81 | Match host *.mathinst.loc !exec "nc -z -w 1 %h %p &>/dev/null" | 81 | Match host *.mathinst.loc !exec "nc -z -w 1 %h %p &>/dev/null" |
82 | ProxyCommand ${pkgs.socat}/bin/socat - SOCKS4A:127.0.0.1:%h:%p,socksport=8118 | 82 | ProxyCommand ${pkgs.socat}/bin/socat - SOCKS4A:127.0.0.1:%h:%p,socksport=8118 |