1 ;; This is an operating system configuration template
2 ;; for a "desktop" setup with GNOME and Xfce where the
3 ;; root partition is encrypted with LUKS.
5 (use-modules (gnu) (gnu system nss))
6 (use-service-modules desktop)
7 (use-package-modules certs gnome)
10 (host-name "antelope")
11 (timezone "Europe/Paris")
14 ;; Use the UEFI variant of GRUB with the EFI System
15 ;; Partition mounted on /boot/efi.
16 (bootloader (bootloader-configuration
17 (bootloader grub-efi-bootloader)
18 (target "/boot/efi")))
20 ;; Specify a mapped device for the encrypted root partition.
21 ;; The UUID is that returned by 'cryptsetup luksUUID'.
24 (source (uuid "12345678-1234-1234-1234-123456789abc"))
26 (type luks-device-mapping))))
30 (device (file-system-label "my-root"))
33 (dependencies mapped-devices))
35 (device (uuid "1234-ABCD" 'fat))
36 (mount-point "/boot/efi")
40 (users (cons (user-account
42 (comment "Alice's brother")
44 (supplementary-groups '("wheel" "netdev"
48 ;; This is where we specify system-wide packages.
49 (packages (append (list
56 ;; Add GNOME and/or Xfce---we can choose at the log-in
57 ;; screen with F1. Use the "desktop" services, which
58 ;; include the X11 log-in service, networking with
59 ;; NetworkManager, and more.
60 (services (append (list (gnome-desktop-service)
61 (xfce-desktop-service))
64 ;; Allow resolution of '.local' host names with mDNS.
65 (name-service-switch %mdns-host-lookup-nss))