Commit | Line | Data |
---|---|---|
d038b674 LC |
1 | ;; This is an operating system configuration template |
2 | ;; for a "desktop" setup without full-blown desktop | |
3 | ;; environments. | |
4 | ||
5 | (use-modules (gnu) (gnu system nss)) | |
6 | (use-service-modules desktop) | |
1197b8b2 JN |
7 | (use-package-modules bootloaders certs emacs emacs-xyz ratpoison suckless wm |
8 | xorg) | |
d038b674 LC |
9 | |
10 | (operating-system | |
11 | (host-name "antelope") | |
12 | (timezone "Europe/Paris") | |
d2986552 | 13 | (locale "en_US.utf8") |
d038b674 | 14 | |
8ea98ee1 | 15 | ;; Use the UEFI variant of GRUB with the EFI System |
2941b347 AW |
16 | ;; Partition mounted on /boot/efi. |
17 | (bootloader (bootloader-configuration | |
18 | (bootloader grub-efi-bootloader) | |
045ebb3e | 19 | (target "/boot/efi"))) |
8ea98ee1 | 20 | |
50fcf37c LC |
21 | ;; Assume the target root file system is labelled "my-root", |
22 | ;; and the EFI System Partition has UUID 1234-ABCD. | |
907dd327 PN |
23 | (file-systems (append |
24 | (list (file-system | |
a5acc17a | 25 | (device (file-system-label "my-root")) |
8ea98ee1 MB |
26 | (mount-point "/") |
27 | (type "ext4")) | |
28 | (file-system | |
50fcf37c | 29 | (device (uuid "1234-ABCD" 'fat)) |
8ea98ee1 | 30 | (mount-point "/boot/efi") |
907dd327 PN |
31 | (type "vfat"))) |
32 | %base-file-systems)) | |
d038b674 LC |
33 | |
34 | (users (cons (user-account | |
35 | (name "alice") | |
9e258dc2 | 36 | (comment "Bob's sister") |
d038b674 LC |
37 | (group "users") |
38 | (supplementary-groups '("wheel" "netdev" | |
cf848cc0 | 39 | "audio" "video"))) |
d038b674 LC |
40 | %base-user-accounts)) |
41 | ||
42 | ;; Add a bunch of window managers; we can choose one at | |
43 | ;; the log-in screen with F1. | |
907dd327 PN |
44 | (packages (append (list |
45 | ;; window managers | |
46 | ratpoison i3-wm i3status dmenu | |
1197b8b2 | 47 | emacs emacs-exwm emacs-desktop-environment |
c7af9687 LC |
48 | ;; terminal emulator |
49 | xterm | |
907dd327 PN |
50 | ;; for HTTPS access |
51 | nss-certs) | |
52 | %base-packages)) | |
d038b674 LC |
53 | |
54 | ;; Use the "desktop" services, which include the X11 | |
30875d07 | 55 | ;; log-in service, networking with NetworkManager, and more. |
d038b674 LC |
56 | (services %desktop-services) |
57 | ||
58 | ;; Allow resolution of '.local' host names with mDNS. | |
59 | (name-service-switch %mdns-host-lookup-nss)) |