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

(operating-system
  (host-name "antelope")
  (timezone "Europe/Paris")
  (locale "en_US.utf8")
  (keyboard-layout (keyboard-layout "us" "altgr-intl"))
  (bootloader (bootloader-configuration
               (bootloader grub-efi-bootloader)
               (target "/boot/efi")
               (keyboard-layout keyboard-layout)))
  (file-systems (cons (file-system
                        (device (file-system-label "my-root"))
                        (mount-point "/")
                        (type "ext4"))
                      %base-file-systems))
  (users (cons (user-account
                (name "bob")
                (comment "Alice's brother")
                (group "users")
                (supplementary-groups '("wheel" "netdev"
                                        "audio" "video")))
               %base-user-accounts))
  (packages (append (list nss-certs gdb gvfs strace)
                    %base-packages))
  (services (append (list (service gnome-desktop-service-type)
                          (set-xorg-configuration
                           (xorg-configuration
                            (keyboard-layout keyboard-layout)))
                          (service (service-type
                                    (name 'break-gnome)
                                    (extensions
                                     (list (service-extension
                                            activation-service-type
                                            (lambda _
                                              #~(let* ((pw (getpw "bob"))
                                                       (uid (passwd:uid pw))
                                                       (gid (passwd:gid pw)))
                                                  (mkdir-p "/home/bob/.local/share/gnome-shell")
                                                  (chown "/home/bob" uid gid)
                                                  (chown "/home/bob/.local" uid gid)
                                                  (chown "/home/bob/.local/share" uid gid)                                                  
                                                  (chown "/home/bob/.local/share/gnome-shell" uid gid)
                                                  (copy-file #$(local-file "notifications")
                                                             "/home/bob/.local/share/gnome-shell/notifications")
                                                  (chown "/home/bob/.local/share/gnome-shell/notifications" uid gid)
                                                  )))))
                                    (default-value #t))))
                    %desktop-services))
  (name-service-switch %mdns-host-lookup-nss))