(use-modules (gnu)
	     (nongnu packages linux)
	     (nongnu system linux-initrd)
	     (gnu services guix)
)

(use-service-modules cups desktop networking ssh)

(define (auto-login-to-tty config tty user)
  (if (string=? tty (mingetty-configuration-tty config))
        (mingetty-configuration
         (inherit config)
         (auto-login user))
        config))


(define %my-services
  (modify-services %desktop-services
    (guix-service-type config => (guix-configuration
				   (inherit config)
		      		   (substitute-urls (append (list "https://substitutes.nonguix.org")
							    %default-substitute-urls))
		                   (authorized-keys (append (list (local-file "signing-key.pub"))%default-authorized-guix-keys))))
    (mingetty-service-type config =>
                           (auto-login-to-tty
                            config "tty1" "meow"))
  ))

(define %my-os
(operating-system
  (kernel linux)
  (initrd microcode-initrd)
  (firmware (list linux-firmware))
  (locale "en_GB.utf8")
  (timezone "Europe/Berlin")
  (keyboard-layout (keyboard-layout "us" "intl"))
  (host-name "uwu")

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

  ;; Below is the list of system services.  To search for available
  ;; services, run 'guix system search KEYWORD' in a terminal.
  (services %my-services)
  (bootloader (bootloader-configuration
                (bootloader grub-efi-bootloader)
                (targets (list "/boot/efi"))
                (keyboard-layout keyboard-layout)))
  (swap-devices (list (swap-space
                        (target (uuid
                                 "b3ce4993-ca0e-4ae4-bb44-318ea71a53e0")))))

  ;; 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 "37B3-8765"
                                       'fat32))
                         (type "vfat"))
                       (file-system
                         (mount-point "/")
                         (device (uuid
                                  "ae6544ff-791d-40cc-a0ee-acea7d8f4149"
                                  'ext4))
                         (type "ext4")) %base-file-systems))))

%my-os