diff options
-rw-r--r-- | etc/guix/home.scm | 11 |
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) |