(use-modules (gnu)
	     (guix channels)
	     (srfi srfi-1)
	     (guix inferior)
	     (gnu packages linux)
	     (srfi srfi-1)
	     (ice-9 match)
	     (guix packages)
	     (gnu packages gnome))
(use-service-modules desktop networking ssh xorg)

(define kernel-inferior-channel
  ;; This is the old revision from which
  ;; we will obtain our desired kernel version.
  (list (channel
         (name 'guix)
         (url "https://git.savannah.gnu.org/git/guix.git")
	 (commit
	  "4f33bf5709a77a98f3d0330e45753d54675239ff"))))

(define linux-libre-4.19-inferior
  (first
   (lookup-inferior-packages
    (inferior-for-channels kernel-inferior-channel)
    "linux-libre" "4.19.129")))

(define-public gnome-minimal
  (package (inherit gnome)
	   (name "gnome-minimal")
	   (propagated-inputs
	    (remove (match-lambda
		      ((name _)
		       (member name '("baobab"
				      "cheese"
				      "eog"
				      "epiphany"
				      "evince"
				      "file-roller"
				      "gedit"
				      "gnome-boxes"
				      "gnome-calculator"
				      "gnome-calendar"
				      "gnome-characters"
				      "gnome-clocks"
				      "gnome-contacts"
				      "gnome-disk-utility"
				      "gnome-font-viewer"
				      "gnome-maps"
				      "gnome-weather"
				      "simple-scan"
				      "totem"
				      "gnome-default-applications"))))
		    (package-propagated-inputs gnome)))))
	   
(operating-system
 (locale "en_US.utf8")
 (kernel linux-libre-4.19-inferior)
 (timezone "America/Chicago")
 (keyboard-layout (keyboard-layout "us"))
 (host-name "t430")
 (users (cons* (user-account
		(name "brettg")
		(comment "Redacted")
		(group "users")
		(home-directory "/home/redacted")
		(supplementary-groups
		 '("wheel" "netdev" "audio" "video")))
	       %base-user-accounts))
 (packages
  (append
   (list (specification->package "nss-certs"))
   %base-packages))
 (services
  (append
   (list (service gnome-desktop-service-type
		  (gnome-desktop-configuration
		   (inherit config)
		   (gnome gnome-minimal)))
	 (service openssh-service-type)
	 (set-xorg-configuration
	  (xorg-configuration
	   (keyboard-layout keyboard-layout))))
   %desktop-services))
 (bootloader
  (bootloader-configuration
   (bootloader grub-efi-bootloader)
   (target "/boot/efi")
   (keyboard-layout keyboard-layout)))
 (swap-devices (list "/dev/sda2"))
 (file-systems
  (cons* (file-system
	  (mount-point "/boot/efi")
	  (device (uuid "0721-45AE" 'fat32))
	  (type "vfat"))
	 (file-system
	  (mount-point "/")
	  (device
	   (uuid "ce05e959-56a7-4520-ad73-556c82861537"
		 'ext4))
	  (type "ext4"))
	 %base-file-systems)))