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 # Exit if port forwarding fails. # Again, why is this not a default? ExitOnForwardFailure yes 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 46.101.112.215 vpn tensin-vpn Hostname 46.101.112.215 User algo Port 80 Host 188.134.75.74 ext ext1 tensin-ext tensin-ext1 Hostname 188.134.75.74 User egor Port 80 Host 192.168.203.4 192.168.205.4 pi pi1 raspi raspi1 tensin-raspi tensin-raspi1 User egor Host 192.168.203.11 192.168.205.11 pi2 raspi2 tensin-raspi2 User egor