(use-modules (gnu))
(use-service-modules desktop nix networking ssh xorg)

(operating-system
  (locale "en_US.utf8")
  (timezone "Europe/Rome")
  (keyboard-layout
    (keyboard-layout "it" "nodeadkeys"))
  (bootloader
    (bootloader-configuration
      (bootloader grub-efi-bootloader)
      (target "/boot/efi")
      (keyboard-layout keyboard-layout)))
  (file-systems
    (cons* (file-system
             (mount-point "/home")
             (device
               (uuid "4d4c4af6-28ef-49ae-b08b-211b5648ebfc"
                     'ext4))
             (type "ext4"))
           (file-system
             (mount-point "/")
             (device
               (uuid "2125621a-4da2-42b7-88d7-2d0fa16157e1"
                     'ext4))
             (type "ext4"))
           (file-system
             (mount-point "/boot/efi")
             (device (uuid "E7FB-57B4" 'fat32))
             (type "vfat"))
           %base-file-systems))
  (swap-devices '("/dev/sda3"))
  (host-name "frastanato")
  (users (cons* (user-account
                  (name "orang3")
                  (comment "Giacomo Leidi")
                  (group "users")
                  (home-directory "/home/orang3")
                  (supplementary-groups
                    '("wheel" "netdev" "audio" "video" "kvm")))
                %base-user-accounts))
  (packages
    (append
     (list ;; Nix package manager
           (specification->package "nix")
	   ;; HTTPS
           (specification->package "nss-certs")
	   ;; User mounts
	   (specification->package "gvfs")
           (specification->package "font-dejavu"))
      %base-packages))
  (services
   (append
    (list (service xfce-desktop-service-type)
          (service tor-service-type)
          (service nix-service-type)
          (set-xorg-configuration
           (xorg-configuration
            (keyboard-layout keyboard-layout)))
          (extra-special-file "/usr/bin/env"
                              (file-append coreutils "/bin/env"))
          )
    %desktop-services)))