;; This is an operating system configuration template
;; for a "desktop" setup with GNOME and Xfce where the
;; root partition is encrypted with LUKS.

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

;; (operating-system
;;   (host-name "antelope")
;;   (timezone "Europe/Paris")
;;   (locale "en_US.utf8")

;;   ;; Use the UEFI variant of GRUB with the EFI System
;;   ;; Partition mounted on /boot/efi.
;;   (bootloader (bootloader-configuration
;;                 (bootloader grub-bootloader)
;; 		(target "/dev/sda")))

;;   (file-systems (cons (file-system
;;                         (device (file-system-label "my-root"))
;;                         (mount-point "/")
;;                         (type "ext4"))
;; 		      %base-file-systems))

;;   (swap-devices '("/dev/sda2"))

;;   (users (cons (user-account
;;                 (name "sdb")
;;                 (comment "Alice's brother")
;;                 (group "users")
;;                 (supplementary-groups '("wheel" "netdev"
;;                                         "audio" "video"))
;;                 (home-directory "/home/sdb"))
;;                %base-user-accounts))

;;   ;; This is where we specify system-wide packages.
;;   (packages (cons* nss-certs         ;for HTTPS access
;;                    gvfs              ;for user mounts
;; 		   gnome-shell-extensions
;;                    %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* (gnome-desktop-service)
;;                    ;;(xfce-desktop-service)
;; 		   (console-keymap-service "se-latin1")
;;                    (modify-services %desktop-services      ; Add berlin as first priority 
;;                                                            ; substitute server
;;                                     (guix-service-type config =>
;;                                                        (guix-configuration
;;                                                         (inherit config)
;;                                                         (substitute-urls '(
;; 									   "https://berlin.guixsd.org https://mirror.hydra.gnu.org"))))
;; 				    (network-manager-service-type config =>
;; 								  (network-manager-configuration
;; 								   (inherit config)
;; 								   (vpn-plugins
;; 								    '(openvpn)))))))

;;   ;; Allow resolution of '.local' host names with mDNS.
;;   (name-service-switch %mdns-host-lookup-nss))

(specifications->manifest
 '(
   "gnome"
   "gnome-shell-extensions"
   "gvfs"
   "nss-certs"
   "network-manager-openvpn"
   ))