aboutsummaryrefslogtreecommitdiffstatshomepage
diff options
context:
space:
mode:
authorEgor Tensin <Egor.Tensin@gmail.com>2020-02-19 01:28:02 +0300
committerEgor Tensin <Egor.Tensin@gmail.com>2020-02-19 01:28:02 +0300
commita4b77d93b9047766c71f0147e08da58b468aabf6 (patch)
tree615d5051aa37cd9fd9922529e66375cd2951033f
parent.ssh/config: git@ by default (diff)
downloadlinux-home-a4b77d93b9047766c71f0147e08da58b468aabf6.tar.gz
linux-home-a4b77d93b9047766c71f0147e08da58b468aabf6.zip
.ssh/config: tensin.vpn + /dev/null instead of known_hosts
-rw-r--r--%HOME%/.ssh/config10
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