aboutsummaryrefslogtreecommitdiff
path: root/etc
diff options
context:
space:
mode:
authorEuAndreh <eu@euandre.org>2022-05-12 20:50:33 -0300
committerEuAndreh <eu@euandre.org>2022-05-12 20:50:33 -0300
commit86d3d77f8d191f8a8820f787fc3973f19ebc880b (patch)
tree72176d9fbdef8fdb0320ef13e3f0ae56602bba40 /etc
parentetc/guix/home.scm: Use modified *-with-options packages (diff)
downloaddotfiles-86d3d77f8d191f8a8820f787fc3973f19ebc880b.tar.gz
dotfiles-86d3d77f8d191f8a8820f787fc3973f19ebc880b.tar.xz
etc/guix/home.scm: Add ssh.conf
Diffstat (limited to 'etc')
-rw-r--r--etc/guix/home.scm11
1 files changed, 11 insertions, 0 deletions
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)