;; This is an operating system configuration generated
;; by the graphical installer, and refined by Andrew :)

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

(operating-system
  (locale "en_CA.utf8")
  (timezone "America/Vancouver")
  (keyboard-layout (keyboard-layout "us"))
  (host-name "Proud_Fan")
  (users (cons* (user-account
                  (name "andrew")
                  (comment "Andrew")
                  (group "users")
                  (home-directory "/home/andrew")
                  (supplementary-groups
                    '("wheel" "netdev" "audio" "video")))
                %base-user-accounts))
  (kernel-arguments '("module_blacklist=pcspkr"))
  (packages
    (append
      (list (specification->package "nss-certs"))
      %base-packages))
  (services
    (append
      (list (service tor-service-type)
            (service network-manager-service-type)
            (service wpa-supplicant-service-type))
      %base-services))
  (bootloader
    (bootloader-configuration
      (bootloader grub-efi-bootloader)
      (target "/boot/efi")
      (keyboard-layout keyboard-layout)))
  (swap-devices (list "/dev/sda3"))
  (file-systems
    (cons* (file-system
             (mount-point "/boot/efi")
             (device (uuid "82F9-7DB7" 'fat32))
             (type "vfat"))
           (file-system
             (mount-point "/")
             (device
               (uuid "71ee8447-bf26-4d0a-9b7e-e37062a8070e"
                     'ext4))
             (type "ext4"))
           (file-system
             (mount-point "/home")
             (device
               (uuid "e9dfc547-e03b-48ce-8668-dcf4b4ef2041"
                     'ext4))
             (type "ext4"))
           %base-file-systems)))