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/lap.scm | |
| parent | dbb97d9a63f8404c52dbf5bbdaa0862e5e8e6a78 (diff) | |
Fix PGP key in private gitconfig
Diffstat (limited to 'tw/home/lap.scm')
| -rw-r--r-- | tw/home/lap.scm | 6 |
1 files changed, 6 insertions, 0 deletions
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))))) |