diff options
| author | Egor Tensin <Egor.Tensin@gmail.com> | 2020-02-19 01:28:02 +0300 |
|---|---|---|
| committer | Egor Tensin <Egor.Tensin@gmail.com> | 2020-02-19 01:28:02 +0300 |
| commit | a4b77d93b9047766c71f0147e08da58b468aabf6 (patch) | |
| tree | 615d5051aa37cd9fd9922529e66375cd2951033f /%HOME%/.ssh/config | |
| parent | .ssh/config: git@ by default (diff) | |
| download | linux-home-a4b77d93b9047766c71f0147e08da58b468aabf6.tar.gz linux-home-a4b77d93b9047766c71f0147e08da58b468aabf6.zip | |
.ssh/config: tensin.vpn + /dev/null instead of known_hosts
Diffstat (limited to '')
| -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 |