From 58ccf1c810c6eed4280455ff76906e435005e912 Mon Sep 17 00:00:00 2001
From: Timo Wilken
Date: Thu, 25 May 2023 19:57:21 +0200
Subject: Fix PGP keyserver setup

---
 tw/home.scm | 1 +
 1 file changed, 1 insertion(+)

(limited to 'tw/home.scm')

diff --git a/tw/home.scm b/tw/home.scm
index 0f778c1a..ec1d87a5 100644
--- a/tw/home.scm
+++ b/tw/home.scm
@@ -53,6 +53,7 @@
    (simple-service 'gnupg-config home-files-service-type
      `(;; GnuPG config files must be in ~/.local/share/gnupg, not ~/.config,
        ;; so we can't use `home-xdg-configuration-files-service-type'.
+       (".local/share/gnupg/dirmngr.conf" ,(local-file "home/files/dirmngr.conf"))
        (".local/share/gnupg/gpg.conf" ,(local-file "home/files/gpg.conf"))
        (".local/share/gnupg/gpg-agent.conf"
         ,(mixed-text-file "gpg-agent.conf" "\
-- 
cgit v1.2.3