(use-modules (gnu)
             (nongnu packages linux)
             (gnu packages linux)
             (gnu packages audio)
             (gnu packages networking)
             (gnu packages package-management))

(use-service-modules cups
             desktop
             networking
             ssh
             xorg
             sound
             nix
             docker
             )


;;non-guix key for substitute urls
(define %nonguix-key
  (plain-file
   "nonguix-archive-key.pub"
   "(public-key
    (ecc
     (curve Ed25519)
     (q #C1FD53E5D4CE971933EC50C9F307AE2171A2D3B52C804642A7A35F84F3A4EA98#)))"))


(operating-system
 (kernel linux)
 (firmware (list linux-firmware
                 iwlwifi-firmware))
 ;; Add this to make sure the module gets loaded at boot time
 (initrd-modules (append '("btusb") %base-initrd-modules))
 (locale "en_US.utf8")
 (timezone "America/Santiago")
 (keyboard-layout (keyboard-layout "us"))
 (host-name "juanpablo")

 ;; The list of user accounts ('root' is implicit).
 (users (cons* (user-account
                (name "juanpablo")
                (comment "Juan Pablo")
                (group "users")
                (home-directory "/home/juanpablo")
                (supplementary-groups '("wheel" "netdev" "audio" "video")))
               %base-user-accounts))

 ;; Packages installed system-wide.  Users can also install packages
 ;; under their own account: use 'guix search KEYWORD' to search
 ;; for packages and 'guix install PACKAGE' to install a package.
 (packages (append (list (specification->package "emacs")
                         (specification->package "emacs-exwm")
                         (specification->package "emacs-desktop-environment")
                         (specification->package "bluez")
                         (specification->package "blueman")
                         (specification->package "pipewire")
                         (specification->package "wireplumber")
                         (specification->package "nix")
             (specification->package "docker")
             )
                   %base-packages)
       )


 ;; Below is the list of system services.  To search for available
 ;; services, run 'guix system search KEYWORD' in a terminal.
 (services
  (append (list (service gnome-desktop-service-type)
                ;; To configure OpenSSH, pass an 'openssh-configuration'
                ;; record as a second argument to 'service' below.
                (service openssh-service-type)
                (service cups-service-type)
                (service nix-service-type)
                (set-xorg-configuration
                 (xorg-configuration
                  (keyboard-layout keyboard-layout)))
                (service bluetooth-service-type
                         (bluetooth-configuration
                          (auto-enable? #t)))
        (service docker-service-type)
        (service containerd-service-type)
        )

          ;; Add the Nonguix substitutes configuration
          (modify-services %desktop-services
                           (guix-service-type config =>
                                              (guix-configuration
                                               (inherit config)
                                               (authorize-key? #t)
                                               (discover? #t)
                                               (authorized-keys
                                                (append (list %nonguix-key)
                                                        %default-authorized-guix-keys))
                                               (substitute-urls
                                                (append
                                                 (list "https://substitutes.nonguix.org"
                                                       "https://ci.guix.gnu.org"
                                                       "https://bordeaux.guix.gnu.org")
                                                 %default-substitute-urls))))
               )
      )
 )

 (bootloader (bootloader-configuration
              (bootloader grub-efi-bootloader)
              (targets (list "/boot/efi"))
              (keyboard-layout keyboard-layout)))
 (swap-devices (list (swap-space
                      (target (uuid
                               "939e1958-ff51-429b-8934-0508c120af98")))))

 ;; The list of file systems that get "mounted".  The unique
 ;; file system identifiers there ("UUIDs") can be obtained
 ;; by running 'blkid' in a terminal.
 (file-systems (cons* (file-system
                       (mount-point "/boot/efi")
                       (device (uuid "1EB2-58A7"
                                     'fat32))
                       (type "vfat"))
                      (file-system
                       (mount-point "/")
                       (device (uuid
                                "38524a9a-825a-4794-9464-7acb796d2dac"
                                'ext4))
                       (type "ext4")) %base-file-systems)))