diff options
Diffstat (limited to '%HOME%')
| -rw-r--r-- | %HOME%/.ssh/config | 11 |
1 files changed, 6 insertions, 5 deletions
diff --git a/%HOME%/.ssh/config b/%HOME%/.ssh/config index 88ee09c..9322f44 100644 --- a/%HOME%/.ssh/config +++ b/%HOME%/.ssh/config @@ -2,22 +2,23 @@ AddKeysToAgent yes # Make known_hosts actually readable. HashKnownHosts no - # Don't verify localhost, duh. NoHostAuthenticationForLocalhost yes - # Add server keys to known_hosts silently, I never bother to verify them # anyway. StrictHostKeyChecking no +# Actually, scratch that. Don't use known_hosts at all, what is this even for? +# Kappa implied. +UserKnownHostsFile /dev/null # Keep ssh connections alive. # Wonder why this isn't default. ServerAliveCountMax 3 ServerAliveInterval 15 -# Actually, scratch that. Don't use known_hosts at all, what is this even for? -# Kappa implied. -UserKnownHostsFile /dev/null +# Exit if port forwarding fails. +# Again, why is this not a default? +ExitOnForwardFailure yes Include ~/.ssh/config_local |