(define-module (aisaka-system-configuration)
  #:use-module (gnu)
  #:use-module (gnu packages cups)
  #:use-module (gnu services cups)
  #:use-module (gnu services desktop)
  #:use-module (gnu services networking)
  #:use-module (gnu services ssh)
  #:use-module (gnu services xorg))

(define keyboard-layout
  (keyboard-layout "pl"))

(define mapped-devices
  `(,(mapped-device (source (uuid "887ac37f-2919-41a0-a62a-e1ff5ea2d6cc"))
		    (target "aisaka-root")
		    (type luks-device-mapping))))

(operating-system
 (locale "pl_PL.utf8")
 (timezone "Europe/Warsaw")
 (keyboard-layout keyboard-layout)
 (host-name "aisaka")
 (users (cons* (user-account (name "marek")
			     (comment "Marek Paśnikowski")
			     (group "users")
			     (home-directory "/home/marek")
			     (supplementary-groups '("audio"
						     "netdev"
						     "tor"
						     "video"
						     "wheel")))
	       %base-user-accounts))
 (packages (append (map (compose list
				 specification->package+output)
			'("netcat-openbsd"
			  "nss-certs"
			  "trezord"
			  "trezord-udev-rules"))
		   %base-packages))
 (services
  (append
   `(,(service cups-service-type
	       (cups-configuration (extensions `(,cups-filters
						 ,epson-inkjet-printer-escpr))
				   (web-interface? #t)))
     ,(service openssh-service-type)
     ,(service gnome-desktop-service-type)
     ,(service tor-service-type
	       (tor-configuration (config-file (local-file "torrc"))))
     ,(set-xorg-configuration
       (xorg-configuration (keyboard-layout keyboard-layout))))
   %desktop-services))
 (bootloader (bootloader-configuration (bootloader grub-bootloader)
				       (targets '("/dev/sda"))
				       (keyboard-layout keyboard-layout)))
 (swap-devices
  `(,(swap-space (target (uuid "73bed3f9-be07-40ad-a228-577cd24f2e1d")))))
 (mapped-devices mapped-devices)
 (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"))
		      (type "ext4"))
	 %base-file-systems)))