gnu: grub-efi-bootloader: Specialize grub-install invocation.
[jackhill/guix/guix.git] / gnu / system / examples / desktop.tmpl
CommitLineData
36ffaca2 1;; This is an operating system configuration template
13fb1bd9
LC
2;; for a "desktop" setup with GNOME and Xfce where the
3;; root partition is encrypted with LUKS.
36ffaca2
LC
4
5(use-modules (gnu) (gnu system nss))
6(use-service-modules desktop)
e48ddb96 7(use-package-modules certs gnome)
36ffaca2
LC
8
9(operating-system
10 (host-name "antelope")
11 (timezone "Europe/Paris")
d2986552 12 (locale "en_US.utf8")
36ffaca2 13
d12717cb
LF
14 ;; Assuming /dev/sdX is the target hard disk, and "my-root"
15 ;; is the label of the target root file system.
2941b347
AW
16 (bootloader (bootloader-configuration
17 (bootloader grub-bootloader)
18 (device "/dev/sdX")))
13fb1bd9
LC
19
20 ;; Specify a mapped device for the encrypted root partition.
21 ;; The UUID is that returned by 'cryptsetup luksUUID'.
22 (mapped-devices
23 (list (mapped-device
24 (source (uuid "12345678-1234-1234-1234-123456789abc"))
2941b347 25 (target "my-root")
13fb1bd9
LC
26 (type luks-device-mapping))))
27
36ffaca2 28 (file-systems (cons (file-system
d12717cb 29 (device "my-root")
36ffaca2 30 (mount-point "/")
13fb1bd9
LC
31 (type "ext4")
32 (dependencies mapped-devices))
36ffaca2
LC
33 %base-file-systems))
34
bf87f38a 35 (users (cons (user-account
36ffaca2
LC
36 (name "bob")
37 (comment "Alice's brother")
38 (group "users")
b599e9eb 39 (supplementary-groups '("wheel" "netdev"
36ffaca2 40 "audio" "video"))
bf87f38a
LC
41 (home-directory "/home/bob"))
42 %base-user-accounts))
36ffaca2 43
d038b674
LC
44 ;; This is where we specify system-wide packages.
45 (packages (cons* nss-certs ;for HTTPS access
e48ddb96 46 gvfs ;for user mounts
36ffaca2
LC
47 %base-packages))
48
d038b674
LC
49 ;; Add GNOME and/or Xfce---we can choose at the log-in
50 ;; screen with F1. Use the "desktop" services, which
51 ;; include the X11 log-in service, networking with Wicd,
52 ;; and more.
53 (services (cons* (gnome-desktop-service)
54 (xfce-desktop-service)
55 %desktop-services))
36ffaca2
LC
56
57 ;; Allow resolution of '.local' host names with mDNS.
58 (name-service-switch %mdns-host-lookup-nss))