;; -*- mode: scheme; -*-
;; This is an operating system configuration template
;; for a "desktop" setup with GNOME and Xfce where the
;; root partition is encrypted with LUKS, and a swap file.

(use-modules
 (nongnu packages linux)
 (nongnu system linux-initrd)
 (gnu)
 (gnu system nss)
 (guix utils)
 (gnu packages vim)
 (gnu packages emacs)
 (gnu packages bash)
 (gnu packages emacs-xyz))
(use-service-modules desktop sddm xorg base)
(use-package-modules gnome)

(operating-system
 (kernel linux)
 (initrd microcode-initrd)
 (firmware (cons* amdgpu-firmware
                  %base-firmware))
 (host-name "laptop-ruther")
 (timezone "Europe/Prague")
 (locale "en_US.utf8")

 ;; 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)
              (targets '("/boot"))
              (keyboard-layout keyboard-layout)))

 ;; Specify a mapped device for the encrypted root partition.
 ;; The UUID is that returned by 'cryptsetup luksUUID'.
 (mapped-devices
  (list (mapped-device
	       (source (uuid "55787ccb-decb-46b6-a190-6597dff68c68"))
         (target "cryptedguix")
         (type luks-device-mapping))))

 (file-systems (append
                (list (file-system
                       (device (file-system-label "guix-root"))
			                 ;; (device "/dev/mapper/cryptedguix")
                       (mount-point "/")
                       (type "ext4")
                       (dependencies mapped-devices))
                      (file-system
                       (device (file-system-label "BOOT"))
                       (mount-point "/boot")
                       (type "vfat")))
                %base-file-systems))

 ;; Specify a swap file for the system, which resides on the
 ;; root file system.
 (swap-devices (list (swap-space
                      (target "/swapfile"))))

 ;; Create user `bob' with `alice' as its initial password.
 (users (cons (user-account
               (name "ruther")
               (comment "My main account")
               (group "users")
               (supplementary-groups '("wheel" "netdev"
                                       "audio" "video")))
              %base-user-accounts))

 ;; Add the `students' group
 (groups (cons* (user-group
                 (name "users"))
                %base-groups))

 ;; This is where we specify system-wide packages.
 (packages (append (list
                    ;; for user mounts
                    gvfs
                    vim
                    emacs
                    emacs-vterm)
                   %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 (if (target-x86-64?)
               (append (list (service gnome-desktop-service-type)
                             (service xfce-desktop-service-type)
                             (set-xorg-configuration
                              (xorg-configuration
                               (keyboard-layout keyboard-layout))))
                       %desktop-services
                       (list (service special-files-service-type
                                      `(("/bin/sh" ,(file-append bash "/bin/bash"))))))

               ;; FIXME: Since GDM depends on Rust (gdm -> gnome-shell -> gjs
               ;; -> mozjs -> rust) and Rust is currently unavailable on
               ;; non-x86_64 platforms, we use SDDM and Mate here instead of
               ;; GNOME and GDM.
               (append (list (service mate-desktop-service-type)
                             (service xfce-desktop-service-type)
                             (set-xorg-configuration
                              (xorg-configuration
                               (keyboard-layout keyboard-layout))
                              sddm-service-type))
                       %desktop-services)))

 ;; Allow resolution of '.local' host names with mDNS.
 (name-service-switch %mdns-host-lookup-nss))