| 123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657 |
- ;; This is an operating system configuration template
- ;; for a "desktop" setup without full-blown desktop
- ;; environments.
- (use-modules (gnu) (gnu system nss))
- (use-service-modules desktop)
- (use-package-modules bootloaders certs ratpoison suckless wm)
- (operating-system
- (host-name "antelope")
- (timezone "Europe/Paris")
- (locale "en_US.utf8")
- ;; Use the UEFI variant of GRUB with the EFI System
- ;; Partition mounted on /boot/efi.
- (bootloader (bootloader-configuration
- (bootloader grub-efi-bootloader)
- (target "/boot/efi")))
- ;; Assume the target root file system is labelled "my-root",
- ;; and the EFI System Partition has UUID 1234-ABCD.
- (file-systems (append
- (list (file-system
- (device (file-system-label "my-root"))
- (mount-point "/")
- (type "ext4"))
- (file-system
- (device (uuid "1234-ABCD" 'fat))
- (mount-point "/boot/efi")
- (type "vfat")))
- %base-file-systems))
- (users (cons (user-account
- (name "alice")
- (comment "Bob's sister")
- (group "users")
- (supplementary-groups '("wheel" "netdev"
- "audio" "video"))
- (home-directory "/home/alice"))
- %base-user-accounts))
- ;; Add a bunch of window managers; we can choose one at
- ;; the log-in screen with F1.
- (packages (append (list
- ;; window managers
- ratpoison i3-wm i3status dmenu
- ;; for HTTPS access
- nss-certs)
- %base-packages))
- ;; Use the "desktop" services, which include the X11
- ;; log-in service, networking with NetworkManager, and more.
- (services %desktop-services)
- ;; Allow resolution of '.local' host names with mDNS.
- (name-service-switch %mdns-host-lookup-nss))
|
