;; 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)
	(guix packages)
	(guix download)
	(gnu packages linux)
	(gnu services sddm)
	(gnu services xorg))
(use-service-modules desktop xorg)
(use-package-modules certs gnome emacs)

(operating-system
  (host-name "manada")
  (timezone "Europe/Paris")
  (locale "en_US.utf8")

 ;; Wifi atheros drivers: ath,ath9k_htc,ath9k_hw,ath9k_common
 ;; Trackpad  drivers: bcm5974
 ;; Bluetooth drivers: btrtl,btintel,btbcm,btusb,ecdh_generic,bluetooth
 ;; Joystick  drivers: joydev
 
 (kernel-arguments '("modprobe.blacklist=thunderbolt,btrtl,btintel,btbcm,btusb,ecdh_generic,bluetooth,joydev"))

  ;; Use the UEFI variant of GRUB with the EFI System
  ;; Partition mounted on /boot/efi.
  (bootloader (bootloader-configuration
                (bootloader grub-bootloader)
                (target "/dev/sda")))

  (file-systems (cons (file-system
                        (device (file-system-label "my-root"))
                        (mount-point "/")
                        (type "ext4"))
                      %base-file-systems))

  (swap-devices '("/dev/sda3"))

  (users (cons* (user-account
                (name "remi")
                (comment "remi")
                (group "users")
                (supplementary-groups '("wheel" "netdev"
                                        "audio" "video"))
                (home-directory "/home/remi"))
	       (user-account
                (name "gloton")
                (comment "gloton")
                (group "users")
                (supplementary-groups '("wheel" "netdev"
                                        "audio" "video"))
                (home-directory "/home/gloton"))
               %base-user-accounts))

  ;; This is where we specify system-wide packages.
  (packages (cons* nss-certs         ;for HTTPS access
                   gvfs              ;for user mounts
		   emacs-no-x
                   %base-packages))

  ;; Add GNOME and/or Xfce---we can choose at the log-in
  ;; screen with F1.  Use the "desktop" services, which
  ;; include the X11 log-in service, networking with
  ;; NetworkManager, and more.

  (services (cons* (gnome-desktop-service)
		   (gdm-service)
		   (filter (lambda (x)
			     (not (eq? (service-kind x) slim-service-type)))
			   %desktop-services)))
  
  
  ;; Allow resolution of '.local' host names with mDNS.
  (name-service-switch %mdns-host-lookup-nss))