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 ;; Assuming /dev/sdX is the target hard disk, and "my-root"
15 ;; is the label of the target root file system.
16 (bootloader (bootloader-configuration
17 (bootloader grub-bootloader)
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))))
28 (file-systems (cons (file-system
32 (dependencies mapped-devices))
35 (users (cons (user-account
37 (comment "Alice's brother")
39 (supplementary-groups '("wheel" "netdev"
41 (home-directory "/home/bob"))
44 ;; This is where we specify system-wide packages.
45 (packages (cons* nss-certs ;for HTTPS access
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,
53 (services (cons* (gnome-desktop-service)
54 (xfce-desktop-service)
57 ;; Allow resolution of '.local' host names with mDNS.
58 (name-service-switch %mdns-host-lookup-nss))