redo .ssh/config

It's questionable whether this should be in this archive at all,
since this file is so likely to contain machine-local settings.

Highlights the need for some mechanism to back up what we overwrite.

1 files changed, 2 insertions, 14 deletions

diff --git a/dot/ssh/config b/dot/ssh/config
index 9780c12..fee02ed 100644
--- a/dot/ssh/config
+++ b/dot/ssh/config
@@ -1,19 +1,7 @@
+Include config.d/*.conf
+HashKnownHosts no
 ForwardAgent yes
 
 Host *.local
 CheckHostIP no
 
-Host borges
-Hostname=borges.local
-User=root
-
-Host emmy
-Hostname=emmy.childrenofmay.org
-
-Host lasker
-Hostname=lasker.childrenofmay.org
-User=root
-
-Host adam
-Hostname=adam.childrenofmay.org
-User=d