Not a member of Pastebin yet?
Sign Up,
it unlocks many cool features!
- ;; This is an operating system configuration template
- ;; for a "desktop" setup with GNOME and Xfce where the
- ;; root partition is encrypted with LUKS.
- (use-modules (gnu) (gnu system nss))
- (use-service-modules desktop xorg)
- (use-package-modules certs gnome)
- (operating-system
- (host-name "terra")
- (timezone "Europe/Amsterdam")
- (locale "nl_NL.utf8")
- (firmware (cons* realtek-firmware %base-firmware))
- ;; Choose US English keyboard layout. The "altgr-intl"
- ;; variant provides dead keys for accented characters.
- (keyboard-layout (keyboard-layout "us" "altgr-intl"))
- ;; Use the UEFI variant of GRUB with the EFI System
- ;; Partition mounted on /boot/efi.
- (bootloader (bootloader-configuration
- (bootloader grub-efi-bootloader)
- (target "/boot")
- (keyboard-layout keyboard-layout)))
- ;; Specify a mapped device for the encrypted root partition.
- ;; The UUID is that returned by 'cryptsetup luksUUID'.
- (file-systems (append
- (list (file-system
- (device (file-system-label "ROOTFS"))
- (mount-point "/")
- (type "ext4")
- (options "noatime"))
- ;(dependencies mapped-devices))
- (file-system
- (device (uuid "AF5A-6BEC" 'fat))
- (mount-point "/boot")
- (type "vfat")))
- %base-file-systems))
- (users (cons (user-account
- (name "martijn")
- (comment "Martijn van Zuilen")
- (group "users")
- (supplementary-groups '("wheel" "netdev"
- "audio" "video")))
- %base-user-accounts))
- ;; This is where we specify system-wide packages.
- (packages (append (list
- ;; for HTTPS access
- nss-certs
- ;; for user mounts
- gvfs)
- %base-packages))
- ;; Add GNOME and Xfce---we can choose at the log-in screen
- ;; by clicking the gear. Use the "desktop" services, which
- ;; include the X11 log-in service, networking with
- ;; NetworkManager, and more.
- (services (append (list (service gnome-desktop-service-type)
- (service xfce-desktop-service-type)
- (set-xorg-configuration
- (xorg-configuration
- (keyboard-layout keyboard-layout)
- (service kernel-module-loader-service-type ("rtl8723de-linux-module")))))
- %desktop-services))
- ;; Allow resolution of '.local' host names with mDNS.
- (name-service-switch %mdns-host-lookup-nss))
Add Comment
Please, Sign In to add comment