(use-modules (gnu))
(use-package-modules cups)
(use-service-modules cups desktop networking ssh xorg)

(operating-system (locale "pl_PL.utf8")
		  (timezone "Europe/Warsaw")
		  (keyboard-layout (keyboard-layout "pl"))
		  (host-name "aisaka")
		  (users (cons* (user-account (name "marek")
					      (comment "Marek Paśnikowski")
					      (group "users")
					      (home-directory "/home/marek")
					      (supplementary-groups '("wheel"
								      "netdev"
								      "audio"
								      "video")))
				%base-user-accounts))
		  (packages (append (map (compose list
						  specification->package+output)
					 (list "guile-spec"
					       "netcat-openbsd"
					       "nss-certs"
					       "trezord"
					       "trezord-udev-rules"))
				    %base-packages))
		  (services (append (list (service cups-service-type
						   (cups-configuration (extensions (list cups-filters
											 epson-inkjet-printer-escpr))
								       (web-interface? #t)))
					  (service openssh-service-type)
					  (service gnome-desktop-service-type)
					  (service tor-service-type)
					  (set-xorg-configuration (xorg-configuration (keyboard-layout keyboard-layout))))
				    %desktop-services))
		  (bootloader (bootloader-configuration (bootloader grub-bootloader)
							(targets (list "/dev/sda"))
							(keyboard-layout keyboard-layout)))
		  (swap-devices (list (swap-space (target (uuid "73bed3f9-be07-40ad-a228-577cd24f2e1d")))))
		  (mapped-devices (list (mapped-device (source (uuid "887ac37f-2919-41a0-a62a-e1ff5ea2d6cc"))
						       (target "aisaka-root")
						       (type luks-device-mapping))))
		  (file-systems (cons* (file-system (mount-point "/")
						    (device "/dev/mapper/aisaka-root")
						    (type "btrfs")
						    (dependencies mapped-devices))
				       (file-system (mount-point "/boot")
						    (device (uuid "4f77b5fc-56ad-43ae-b6ec-e5adc8c48587"
								  'ext4))
						    (type "ext4"))
				       %base-file-systems)))