;; 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 packages) (gnu system nss))
(use-service-modules desktop xorg cups)
(use-package-modules certs gnome xdisorg lisp)

(operating-system
  (host-name <>)
  (timezone "Europe/Zurich")
  (locale "de_CH.UTF-8")

  ;; Assuming /dev/sda is the target hard disk, and "osiris"
  ;; is the label of the target root file system.
  (bootloader (grub-configuration (device "/dev/sda")
                                  (timeout 1)))

  ;; Specify a mapped device for the encrypted root partition.
  ;; The UUID is that returned by 'cryptsetup luksUUID'.
  (mapped-devices
   (list (mapped-device
          (source (uuid <>))
          (target "hathor")
          (type luks-device-mapping))))

  (file-systems (cons* (file-system
                        (device "osiris")
                        (title 'label)
                        (mount-point "/")
                        (type "ext4"))
                      (file-system
                        (device "horus")
                        (title 'label)
                        (mount-point "/home")
                        (type "ext4")
                        (dependencies mapped-devices))
                      %base-file-systems))

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

  (users (cons (user-account
                (name <>)
                (comment <>)
                (group "users")
                (supplementary-groups '("lp"
                                        "wheel" "netdev"
                                        "audio" "video"))
                (home-directory "/home/<>"))
               %base-user-accounts))

  ;; This is where we specify system-wide packages.
  (packages (cons* nss-certs         ;for HTTPS access
                   gvfs              ;for user mounts
                   sbcl-stumpwm (list sbcl-stumpwm "lib")
                   (append (map specification->package
                                '(;"cups"
                                  "gnupg"
                                  "unzip" "imagemagick"
                                  "ntfs-3g" "gmtp"
                                  "borg"
                                  "setxkbmap"
                                  "xsetroot" "xset"
                                  "curl" "wget"
                                  "vpnc"

                                  "gstreamer" "gst-plugins-base"
                                  "gst-plugins-good" "gst-libav"
                                  "ghc" "gcc-toolchain" "sbcl" "chibi-scheme"
                                  "python@2" "python"
                                  "xterm"

                                  "font-anonymous-pro" "font-comic-neue"
                                  "font-dejavu" "font-gnu-freefont-ttf"
                                  "font-gnu-unifont" "font-google-noto"
                                  "font-hack" "font-inconsolata"
                                  "font-iosevka" "font-liberation"
                                  "font-terminus" "font-tex-gyre"
                                  "font-linuxlibertine" "font-abattis-cantarell"
                                  "font-adobe100dpi" "font-adobe75dpi"
                                  "font-alias" "font-dec-misc"
                                  "font-isas-misc" "font-micro-misc"
                                  "font-misc-misc" "font-mutt-misc"
                                  "font-schumacher-misc" "font-sony-misc"
                                  "font-sun-misc" "font-xfree86-type1"
                                  "gs-fonts"
                                  "xfontsel"

                                  "gnome-icon-theme" "gnome-themes-standard"
                                  "adwaita-icon-theme"
                                  "evince" "epiphany" "gnome-mpv"
                                  "gnome-system-monitor" "xscreensaver"
                                  "bluez" "sbc" "rfkill"
                                  "xfce4-battery-plugin" "xfce4-pulseaudio-plugin"
                                  "pulseaudio" "pavucontrol"
                                  "fontconfig"))
                           %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 Wicd,
  ;; and more.
  (services (cons* (xfce-desktop-service)
                   (bluetooth-service)
                   (screen-locker-service xscreensaver "xscreensaver")
                   (console-keymap-service "de_CH-latin1")
                   ;(service cups-service-type
                   ; (cups-configuration
                   ;  (web-interface? #t)))
                   %desktop-services))

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