Commit | Line | Data |
---|---|---|
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)) |