summaryrefslogtreecommitdiff
path: root/tw/home/lap.scm
diff options
context:
space:
mode:
authorTimo Wilken2023-07-24 13:12:11 +0200
committerTimo Wilken2023-08-02 20:28:10 +0200
commit506d9e9f98ac498389f6c2428c760bf0819c32d7 (patch)
tree004695763037a429ea3b1d530b3f53e102f0a51f /tw/home/lap.scm
parent9db8734147731fe810ffcec9952d51ca60b69b5f (diff)
Fix git work identity config
The work gitconfig wasn't getting applied. Explicitly include it in the main gitconfig in an extensible way.
Diffstat (limited to 'tw/home/lap.scm')
-rw-r--r--tw/home/lap.scm5
1 files changed, 2 insertions, 3 deletions
diff --git a/tw/home/lap.scm b/tw/home/lap.scm
index 547715f1..7a6af2d4 100644
--- a/tw/home/lap.scm
+++ b/tw/home/lap.scm
@@ -196,9 +196,8 @@
;; 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"))))
+ (gitconfig "git@twilken.net" "53EC3C06856883DD92355BC22FC78504681F69B0"
+ '("cern" "~/src/alice" "timo.wilken@cern.ch" "C2249BBE5E8761C943A0CFA1B7B3914BF63ACD7C"))
(openssh-service #t)