(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 locale
  "pl_PL.utf8")

(define timezone
  "Europe/Warsaw")

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

(define host-name
  "aisaka")

(define marek-name
  "marek")

(define marek-comment
  "Marek Paśnikowski")

(define marek-group
  "users")

(define marek-home
  "/home/marek")

(define marek-groups
  '("wheel"
    "netdev"
    "audio"
    "video"))

(define marek
  (user-account (name marek-name)
		(comment marek-comment)
		(group marek-group)
		(home-directory marek-home)
		(supplementary-groups marek-groups)))

(define users
  (cons* marek
	 %base-user-accounts))

(define list-to-package-output
  (compose list
	   specification->package+output))

(define packages
  (append (map list-to-package-output
	       '("guile-spec"
		 "netcat-openbsd"
		 "nss-certs"
		 "trezord"
		 "trezord-udev-rules"))
	  %base-packages))

(operating-system (locale locale)
		  (timezone timezone)
		  (keyboard-layout keyboard-layout)
		  (host-name host-name)
		  (users users)
		  (packages 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)
				      ,(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-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)))