(use-modules
  ((xyz euandreh heredoc) #:prefix heredoc:)
  (ice-9 rdelim)
  (gnu bootloader)
  (gnu bootloader grub)
  (gnu packages)
  (gnu packages wm)
  (gnu services base)
  (gnu services cups)
  (gnu services desktop)
  (gnu services security-token)
  (gnu services virtualization)
  (gnu services xorg)
  (gnu system keyboard)
  (gnu system file-systems)
  (gnu system mapped-devices)
  (guix gexp)
  (guix packages)
  (guix utils)
  (nongnu packages linux)
  (nongnu system linux-initrd)
  (srfi srfi-1))
(heredoc:enable-syntax)

(operating-system
  (kernel linux)
  (initrd microcode-initrd)
  (firmware (list linux-firmware))
  (locale "fr_FR.UTF-8")
  (timezone "America/Sao_Paulo")
  (keyboard-layout
    (keyboard-layout "br" #:options '("caps:swapescape" "esperanto:qwerty")))
  (host-name "velhinho")
  (users
    (append
     (let ((user-groups '("netdev" "audio" "video"))
           (admin-groups '("wheel")))
       (list
        (user-account
          (name "andreh")
          (comment "EuAndreh")
          (group "users")
          (supplementary-groups (append admin-groups user-groups)))
        (user-account
          (name "other")
          (comment "Other Self")
          (group "users")
          (supplementary-groups user-groups))))
      %base-user-accounts))
  (packages
    (append
     (map (compose list specification->package+output symbol->string)
          '(nss-certs
            i3-wm
            xmonad-next))
     (list)
     (remove (lambda (package)
               (equal? "wget" (package-name package)))
             %base-packages)))
  (services
    (append
     (list
      (service bluetooth-service-type)
      (service pcscd-service-type)
      (service gnome-desktop-service-type)
      (service libvirt-service-type)
      (service virtlog-service-type)
      (service cups-service-type
        (cups-configuration
          (web-interface? #t)))
      #;
      (udev-rules-service
        'backlight
        (udev-rule
         "backlight.rule"
         (string-replace
          #"-
            ACTION=="add", SUBSYSTEM=="backlight", KERNEL=="@DEVICE@", GROUP="video", MODE="0664"
            "#
          "@DEVICE@"
          (getenv "BACKLIGHT_DEVICE"))))
      (set-xorg-configuration
        (xorg-configuration
          (keyboard-layout keyboard-layout)
          (extra-config
            (list
             #"-
               Section "InputClass"
                   Identifier "touchpad"
                   Driver "libinput"
                   MatchIsTouchpad "on"
                   Option "Tapping" "on"
               EndSection
               Section "Device"
                   Identifier  "Intel Graphics"
                   Driver      "intel"
                   Option      "Backlight"  "intel_backlight"
               EndSection
               "#)))))
     (modify-services %desktop-services
       (guix-service-type config =>
         (guix-configuration
           (inherit config)
           (substitute-urls
             (append
              '("https://substitutes.nonguix.org")
              %default-substitute-urls))
           (authorized-keys
             (append
              (list
               (plain-file
                "non-guix.pub"
                #"-
                  (public-key
                    (ecc
                      (curve Ed25519)
                      (q #C1FD53E5D4CE971933EC50C9F307AE2171A2D3B52C804642A7A35F84F3A4EA98#)))
                  "#))
              %default-authorized-guix-keys)))))))
  (bootloader
    (bootloader-configuration
      (bootloader grub-efi-bootloader)
      (targets (list "/boot/efi"))
      (keyboard-layout keyboard-layout)))
  (mapped-devices
    (list
     (mapped-device
       (source (uuid "6b0d38a6-d93e-4f8e-a59a-7729f5adf892"))
       (target "cryptroot")
       (type luks-device-mapping))))
  (file-systems
    (append
     (list
      (file-system
        (mount-point "/boot/efi")
        (device (uuid "1B26-9F4E" 'fat32))
        (type "vfat"))
      (file-system
        (mount-point "/")
        (device "/dev/mapper/cryptroot")
        (type "ext4")
        (dependencies mapped-devices)))
     %base-file-systems)))