diff options
author | Timo Wilken | 2023-07-24 13:12:11 +0200 |
---|---|---|
committer | Timo Wilken | 2023-08-02 20:28:10 +0200 |
commit | 506d9e9f98ac498389f6c2428c760bf0819c32d7 (patch) | |
tree | 004695763037a429ea3b1d530b3f53e102f0a51f /tw/home/cern.scm | |
parent | 9db8734147731fe810ffcec9952d51ca60b69b5f (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/cern.scm')
-rw-r--r-- | tw/home/cern.scm | 3 |
1 files changed, 1 insertions, 2 deletions
diff --git a/tw/home/cern.scm b/tw/home/cern.scm index e7b4124d..71da61fa 100644 --- a/tw/home/cern.scm +++ b/tw/home/cern.scm @@ -128,8 +128,7 @@ "/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")))) + (gitconfig "timo.wilken@cern.ch" "C2249BBE5E8761C943A0CFA1B7B3914BF63ACD7C") (openssh-service #f) |