;; This is an operating system configuration template
;; for a "desktop" setup with GNOME and Xfce

(use-modules (gnu) (gnu system nss))
(use-service-modules desktop)
(use-package-modules certs gnome)

(operating-system
 (host-name "GSD3")
 (timezone "America/Guayaquil")
 (locale "es_EC.UTF-8")
 (keyboard-layout (keyboard-layout "es" "dvorak"))  ;for the console
 
 ;; Use the BIOS variant of GRUB
 (bootloader (bootloader-configuration
              (bootloader grub-bootloader)
              (target "/dev/sda")
	      (keyboard-layout keyboard-layout))) ;for GRUB
 
 (file-systems (cons*
		(file-system
		 (device (uuid "021e4962-a7e2-4996-a2d7-b746df956172"))
		 (mount-point "/")
		 (type "ext4"))
		(file-system
		 (device (uuid "6e8ca224-ab9b-476b-98b0-c0b22a172577"))
		 (mount-point "/home/quiliro/respaldos")
		 (type "ext4"))
                %base-file-systems))
 
 (swap-devices '("/dev/sda1"))
 
 (users (cons*
	 (user-account
	  (name "quiliro")
          (comment "Quiliro Ordóñez")
          (group "users")
          (supplementary-groups '("wheel" "netdev" "audio" "video"))
          (home-directory "/home/quiliro"))
	 (user-account
	  (name "analucia")
          (comment "Ana Lucia Barahona Escalante")
          (group "users")
          (supplementary-groups '("netdev" "audio" "video"))
          (home-directory "/home/analucia"))
	 (user-account
	  (name "invitado")
          (comment "Usuario invitado")
          (group "users")
          (supplementary-groups '("netdev" "audio" "video"))
          (home-directory "/home/invitado"))
	 (user-account
	  (name "saslibre")
          (comment "Servicios Académicos y de Software Libre")
          (group "users")
          (supplementary-groups '("wheel" "netdev" "audio" "video"))
          (home-directory "/home/saslibre"))
         %base-user-accounts))
 
 ;; This is where we specify system-wide packages.
 (packages (append (list
		    nss-certs          ;for HTTPS access
		    gvfs)              ;for user mounts
		   %base-packages))

 ;; Add GNOME and/or Xfce---we can choose at the log-in
 ;; screen with F1.  Use the "desktop" services, which
 ;; include the X11 log-in service, networking with
 ;; NetworkManager, and more.
 (services (cons*
	    (service gnome-desktop-service-type)
            (service xfce-desktop-service-type)
	    (set-xorg-configuration
	     (xorg-configuration             ;for Xorg
	      (keyboard-layout keyboard-layout)))
	    %desktop-services))
 
 ;; Allow resolution of '.local' host names with mDNS.
 (name-service-switch %mdns-host-lookup-nss))