diff options
Diffstat (limited to '%HOME%')
| -rw-r--r-- | %HOME%/.ssh/config | 10 |
1 files changed, 10 insertions, 0 deletions
diff --git a/%HOME%/.ssh/config b/%HOME%/.ssh/config index 1fda757..4d12491 100644 --- a/%HOME%/.ssh/config +++ b/%HOME%/.ssh/config @@ -15,6 +15,10 @@ StrictHostKeyChecking no 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 @@ -30,3 +34,9 @@ Host alt-github User git Hostname ssh.github.com Port 443 + +Host 64.225.107.220 tensin.vpn + HostName 64.225.107.220 + User algo + Port 110 + IdentityFile ~/.ssh/algo.pem |