diff options
| author | Timo Wilken | 2023-05-22 23:21:50 +0200 |
|---|---|---|
| committer | Timo Wilken | 2023-05-22 23:25:16 +0200 |
| commit | e299e679691a0a7d08a76d81f9bee802694763af (patch) | |
| tree | fc229b001fa105ec0e56006156de27beb96f8345 /tw/home/cern.scm | |
| parent | dbb97d9a63f8404c52dbf5bbdaa0862e5e8e6a78 (diff) | |
Fix PGP key in private gitconfig
Diffstat (limited to 'tw/home/cern.scm')
| -rw-r--r-- | tw/home/cern.scm | 4 |
1 files changed, 4 insertions, 0 deletions
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))))) |