blob: 9b79c3b184d190247f8469e51c2e71152804d0d5 (
about) (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
|
;; This "home-environment" file can be passed to 'guix home reconfigure'
;; to reproduce the content of your profile. This is "symbolic": it only
;; specifies package names. To reproduce the exact same profile, you also
;; need to capture the channels being used, as returned by "guix describe".
;; See the "Replicating Guix" section in the manual.
(define-module (tw home cern)
#:use-module (gnu home)
#:use-module (gnu home services)
#:use-module (gnu home services desktop)
#:use-module (gnu home services guix)
#:use-module (gnu home services pm)
#:use-module (gnu home services ssh)
#:use-module (gnu services)
#:use-module (guix gexp)
#:use-module (tw home)
#:use-module (tw gexp)
#:use-module (tw services desktop)
#:use-module (tw services dev-env)
#:use-module (tw services git)
#:use-module (tw services gnupg))
(define-public %cern-home
(home-environment
;; To search for available home services, run 'guix home search KEYWORD'.
(services
(list
(simple-service 'remote-desktop-config home-files-service-type
`((".local/share/vinagre/vinagre-bookmarks.xml" ,(local-file "files/vinagre-bookmarks.xml"))))
(service home-dbus-service-type)
(service tw-home-service-type)
(service home-wayland-desktop-service-type
(home-wayland-desktop-configuration
(num-cores 12)))
(service home-full-dev-env-service-type)
(service home-pim-service-type
(home-pim-configuration (work? #t)))
;; On my work machine, Git must always use my work PGP key.
(service home-git-service-type
(home-git-configuration
(default-email "timo.wilken@cern.ch")
(default-signing-key "C2249BBE5E8761C943A0CFA1B7B3914BF63ACD7C")))
(service home-openssh-service-type
(tw-openssh-configuration
;; There is no separate "private" SSH key.
#:default-ssh-key "~/.local/share/ssh-keys/cern_id_rsa"))
(service home-gnupg-service-type
(home-gnupg-configuration
(default-key "C2249BBE5E8761C943A0CFA1B7B3914BF63ACD7C")
(gui-pinentry? #t)))))))
%cern-home
|