diff options
Diffstat (limited to '')
| -rw-r--r--[l---------] | %USERPROFILE%/.ssh/config | 47 |
1 files changed, 46 insertions, 1 deletions
diff --git a/%USERPROFILE%/.ssh/config b/%USERPROFILE%/.ssh/config index e8c3b23..6cf0196 120000..100644 --- a/%USERPROFILE%/.ssh/config +++ b/%USERPROFILE%/.ssh/config @@ -1 +1,46 @@ -../../linux-home/%HOME%/.ssh/config
\ No newline at end of file +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 + +# 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 + +Include ~/.ssh/config_local + +Host bitbucket.org + User git +Host github.com + User git + +Host alt-bitbucket + User git + Hostname altssh.bitbucket.org + Port 443 +Host alt-github + User git + Hostname ssh.github.com + Port 443 + +Host 64.225.107.220 tensin-vpn vpn + HostName 64.225.107.220 + User algo + Port 110 + +Host 188.134.75.74 tensin-ext ext + HostName 188.134.75.74 + User egor + Port 110 |