diff options
| author | Egor Tensin <Egor.Tensin@gmail.com> | 2020-02-20 01:40:06 +0300 |
|---|---|---|
| committer | Egor Tensin <Egor.Tensin@gmail.com> | 2020-02-20 01:40:06 +0300 |
| commit | 5e9b652a7782ebd07b69100d9ce234785bf38083 (patch) | |
| tree | 6ffaf356b27a888a303bcc060c77a465bbcff29d /%USERPROFILE%/.ssh/config | |
| parent | update linux-home (diff) | |
| download | windows-home-master.tar.gz windows-home-master.zip | |
I'll just update the relevant files from linux-home from now on, I
think.
Diffstat (limited to '%USERPROFILE%/.ssh/config')
| -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 |