(use-modules (gnu))

(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" "nss-certs" "trezord" "trezord-udev-rules"))
   %base-packages))
 (services
  (append
   (list
    (service cups-service-type)
    (service openssh-service-type)
    (service gnome-desktop-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)))