;; This is an operating system configuration generated
;; by the graphical installer.
;;
;; Once installation is complete, you can learn and modify
;; this file to tweak the system configuration, and pass it
;; to the 'guix system reconfigure' command to effect your
;; changes.


;; Indicate which modules to import to access the variables
;; used in this configuration.
(use-modules (gnu))
(use-service-modules cups desktop networking ssh xorg)

(operating-system
 (locale "en_US.utf8")
 (timezone "America/Denver")
 (keyboard-layout (keyboard-layout "us"))
 (host-name "vali")

 ;; The list of user accounts ('root' is implicit).
 (users (cons* (user-account
                (name "bdunahu")
                (comment "bdunahu")
                (group "users")
                (home-directory "/home/bdunahu")
                (supplementary-groups '("wheel" "netdev" "audio" "video")))
               %base-user-accounts))

 ;; Packages installed system-wide.  Users can also install packages
 ;; under their own account: use 'guix search KEYWORD' to search
 ;; for packages and 'guix install PACKAGE' to install a package.
 (packages (append (list (specification->package "emacs")
                         (specification->package "emacs-exwm")
                         (specification->package
                          "emacs-desktop-environment")
                         (specification->package "nss-certs"))
                   %base-packages))

 ;; Below is the list of system services.  To search for available
 ;; services, run 'guix system search KEYWORD' in a terminal.
 (services
  (append (list

           ;; To configure OpenSSH, pass an 'openssh-configuration'
           ;; record as a second argument to 'service' below.
           (service openssh-service-type)
           (service tor-service-type)
           (set-xorg-configuration
            (xorg-configuration (keyboard-layout keyboard-layout))))

          ;; This is the default list of services we
          ;; are appending to.
          %desktop-services))
 (bootloader (bootloader-configuration
              (bootloader grub-efi-bootloader)
              (targets (list "/boot/efi"))
              (keyboard-layout keyboard-layout)))
 (mapped-devices (list (mapped-device
                        (source (uuid
                                 "b9ca1e17-4c3e-4f82-a15c-4bb442c042b9"))
                        (target "A")
                        (type luks-device-mapping))))

 ;; The list of file systems that get "mounted".  The unique
 ;; file system identifiers there ("UUIDs") can be obtained
 ;; by running 'blkid' in a terminal.
 (file-systems (cons* (file-system
                       (mount-point "/boot/efi")
                       (device (uuid "4D74-E5F8"
                                     'fat32))
                       (type "vfat"))
		      (file-system
                       (mount-point "/home/bdunahu/Personal")
                       (device (uuid "020b73df-3991-4271-9d3f-dba00ad260ec"))
		       (type "ext4"))
                      (file-system
                       (mount-point "/")
                       (device "/dev/mapper/A")
                       (type "ext4")
                      (dependencies mapped-devices)) %base-file-systems)))