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/lap.scm | 6 ++++++
 1 file changed, 6 insertions(+)

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

diff --git a/tw/home/lap.scm b/tw/home/lap.scm
index 44f345da..2b3c848d 100644
--- a/tw/home/lap.scm
+++ b/tw/home/lap.scm
@@ -199,6 +199,12 @@
                              (string-append (getenv "HOME")
                                             "/pictures/Backgrounds/greece/IMG_20181201_104748_DRO.jpg")))))))
 
+     ;; On my private machine, I want to use my private PGP key normally, and
+     ;; my work key only for work repositories.
+     (simple-service 'gitconfig home-xdg-configuration-files-service-type
+       `(("git/config" ,(gitconfig "git@twilken.net" "53EC3C06856883DD92355BC22FC78504681F69B0"))
+         ("src/alice/.gitconfig" ,(local-file "files/gitconfig-cern"))))
+
      (openssh-service #t)
 
      (append pim-services %interactive-services %common-services)))))
-- 
cgit v1.2.3