From 86d3d77f8d191f8a8820f787fc3973f19ebc880b Mon Sep 17 00:00:00 2001
From: EuAndreh <eu@euandre.org>
Date: Thu, 12 May 2022 20:50:33 -0300
Subject: etc/guix/home.scm: Add ssh.conf

---
 etc/guix/home.scm | 11 +++++++++++
 1 file changed, 11 insertions(+)

diff --git a/etc/guix/home.scm b/etc/guix/home.scm
index 4235add..5235d30 100644
--- a/etc/guix/home.scm
+++ b/etc/guix/home.scm
@@ -111,6 +111,17 @@
     enable-ssh-support
     pinentry-program "# pinentry-gtk2 "/bin/pinentry-gtk-2\n"))
 
+(define ssh.conf
+  (plain-file "ssh.conf"
+    (string-replace-substring #"-
+       Host *
+         UserKnownHostsFile @XDG_CONFIG_HOME@/ssh/known_hosts
+
+       Include ~/dev/libre/servers/src/infrastructure/ssh.conf
+       Include ~/dev/others/lawtech/src/infrastructure/ssh.conf
+       "#
+     "@XDG_CONFIG_HOME@"
+     (getenv "XDG_CONFIG_HOME"))))
 
 (define config-files
   `(("gnupg/gpg-agent.conf" ,gpg-agent.conf)
-- 
cgit v1.2.3