From 5e9b652a7782ebd07b69100d9ce234785bf38083 Mon Sep 17 00:00:00 2001
From: Egor Tensin <Egor.Tensin@gmail.com>
Date: Thu, 20 Feb 2020 01:40:06 +0300
Subject: symlinks on Windows are a freaking pain

I'll just update the relevant files from linux-home from now on, I
think.
---
 %USERPROFILE%/.ssh/config | 47 ++++++++++++++++++++++++++++++++++++++++++++++-
 1 file changed, 46 insertions(+), 1 deletion(-)
 mode change 120000 => 100644 %USERPROFILE%/.ssh/config

(limited to '%USERPROFILE%/.ssh/config')

diff --git a/%USERPROFILE%/.ssh/config b/%USERPROFILE%/.ssh/config
deleted file mode 120000
index e8c3b23..0000000
--- a/%USERPROFILE%/.ssh/config
+++ /dev/null
@@ -1 +0,0 @@
-../../linux-home/%HOME%/.ssh/config
\ No newline at end of file
diff --git a/%USERPROFILE%/.ssh/config b/%USERPROFILE%/.ssh/config
new file mode 100644
index 0000000..6cf0196
--- /dev/null
+++ b/%USERPROFILE%/.ssh/config
@@ -0,0 +1,46 @@
+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
+
+# 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
+    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 64.225.107.220 tensin-vpn vpn
+    HostName 64.225.107.220
+    User algo
+    Port 110
+
+Host 188.134.75.74 tensin-ext ext
+    HostName 188.134.75.74
+    User egor
+    Port 110
-- 
cgit v1.2.3