From e299e679691a0a7d08a76d81f9bee802694763af Mon Sep 17 00:00:00 2001
From: Timo Wilken
Date: Mon, 22 May 2023 23:21:50 +0200
Subject: Fix PGP key in private gitconfig

---
 tw/home/cern.scm | 4 ++++
 1 file changed, 4 insertions(+)

(limited to 'tw/home/cern.scm')

diff --git a/tw/home/cern.scm b/tw/home/cern.scm
index d9ea38bb..e7b4124d 100644
--- a/tw/home/cern.scm
+++ b/tw/home/cern.scm
@@ -127,6 +127,10 @@
                              (string-append (getenv "XDG_CONFIG_HOME")
                                             "/X11/ridge-view.jpg")))))))
 
+     ;; On my work machine, Git must always use my work PGP key.
+     (simple-service 'gitconfig home-xdg-configuration-files-service-type
+       `(("git/config" ,(gitconfig "timo.wilken@cern.ch" "C2249BBE5E8761C943A0CFA1B7B3914BF63ACD7C"))))
+
      (openssh-service #f)
 
      (append %common-services %interactive-services pim-services)))))
-- 
cgit v1.2.3