diff options
| author | EuAndreh <eu@euandre.org> | 2022-05-12 20:50:33 -0300 |
|---|---|---|
| committer | EuAndreh <eu@euandre.org> | 2022-05-12 20:50:33 -0300 |
| commit | 86d3d77f8d191f8a8820f787fc3973f19ebc880b (patch) | |
| tree | 72176d9fbdef8fdb0320ef13e3f0ae56602bba40 | |
| parent | etc/guix/home.scm: Use modified *-with-options packages (diff) | |
| download | dotfiles-86d3d77f8d191f8a8820f787fc3973f19ebc880b.tar.gz dotfiles-86d3d77f8d191f8a8820f787fc3973f19ebc880b.tar.xz | |
etc/guix/home.scm: Add ssh.conf
| -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) |