aboutsummaryrefslogtreecommitdiffstatshomepage
diff options
context:
space:
mode:
authorEgor Tensin <Egor.Tensin@gmail.com>2020-01-23 10:07:34 +0300
committerEgor Tensin <Egor.Tensin@gmail.com>2020-01-23 10:07:34 +0300
commita17951b4cdc2cbca7fa9175f7e56401efee8d873 (patch)
treeb6bb1eddcae30ae36383c7222564b274d030242e
parent.gitconfig: get rid of platform-specific core.editor (diff)
downloadlinux-home-a17951b4cdc2cbca7fa9175f7e56401efee8d873.tar.gz
linux-home-a17951b4cdc2cbca7fa9175f7e56401efee8d873.zip
.ssh/config: add more comments
Also, rename config_work to config_local.
-rw-r--r--%HOME%/.ssh/config15
1 files changed, 13 insertions, 2 deletions
diff --git a/%HOME%/.ssh/config b/%HOME%/.ssh/config
index 91ee89b..c6b4036 100644
--- a/%HOME%/.ssh/config
+++ b/%HOME%/.ssh/config
@@ -1,7 +1,18 @@
-Include ~/.ssh/config_work
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
-StrictHostKeyChecking no
+
+Include ~/.ssh/config_local