;; This is an operating system configuration template
;; for a "desktop" setup without full-blown desktop
;; environments.

(use-modules (gnu) (gnu system nss))
(use-service-modules desktop)
(use-package-modules bootloaders certs ratpoison suckless wm)

(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-efi-bootloader)
                (target "/boot/efi")))

  ;; Assume the target root file system is labelled "my-root",
  ;; and the EFI System Partition has UUID 1234-ABCD.
  (file-systems (append
                 (list (file-system
                         (device (file-system-label "my-root"))
                         (mount-point "/")
                         (type "ext4"))
                       (file-system
                         (device (uuid "1234-ABCD" 'fat))
                         (mount-point "/boot/efi")
                         (type "vfat")))
                 %base-file-systems))

  (users (cons (user-account
                (name "alice")
                (comment "Bob's sister")
                (group "users")
                (supplementary-groups '("wheel" "netdev"
                                        "audio" "video")))
               %base-user-accounts))

  ;; Add a bunch of window managers; we can choose one at
  ;; the log-in screen with F1.
  (packages (append (list
                     ;; window managers
                     ratpoison i3-wm i3status dmenu
                     ;; for HTTPS access
                     nss-certs)
                    %base-packages))

  ;; Use the "desktop" services, which include the X11
  ;; log-in service, networking with NetworkManager, and more.
  (services %desktop-services)

  ;; Allow resolution of '.local' host names with mDNS.
  (name-service-switch %mdns-host-lookup-nss))
arch'/>
</form>
</td></tr></table>
<div class='path'>path: <a href='/guix/log/?id=3689faac5c10249f052c979b527cba26054170d8'>root</a>/<a href='/guix/log/gnu?id=3689faac5c10249f052c979b527cba26054170d8'>gnu</a>/<a href='/guix/log/gnu/packages?id=3689faac5c10249f052c979b527cba26054170d8'>packages</a>/<a href='/guix/log/gnu/packages/agda.scm?id=3689faac5c10249f052c979b527cba26054170d8'>agda.scm</a></div><div class='content'><table class='list nowrap'><tr class='nohover'><th class='left'>Age</th><th class='left'>Commit message (<a href='/guix/log/gnu/packages/agda.scm?id=3689faac5c10249f052c979b527cba26054170d8&amp;showmsg=1'>Expand</a>)</th><th class='left'>Author</th></tr>
<tr><td><span title='2023-11-14 13:47:53 +0100'>2023-11-14</span></td><td><a href='/guix/commit/gnu/packages/agda.scm?id=bd0f2173210416e86281c1de8789e7cdab66dd57'>gnu: agda-1lab: Update to 549fdb1c948a975e90e70f871993a4a4239aa280.</a><span class='msg-avail'>...</span></td><td>Josselin Poiret</td></tr>
<tr><td><span title='2023-11-14 13:47:53 +0100'>2023-11-14</span></td><td><a href='/guix/commit/gnu/packages/agda.scm?id=c5c2a82082ccd238350562f4706d75778121e3cf'>gnu: agda-cubical: Update to 0.6.</a><span class='msg-avail'>...</span></td><td>Josselin Poiret</td></tr>
<tr><td><span title='2023-11-14 13:47:10 +0100'>2023-11-14</span></td><td><a href='/guix/commit/gnu/packages/agda.scm?id=5f4b3ccf503bb5027272662e65704aad8b34ad16'>gnu: agda-categories: Adapt to agda-stdlib 1.7.3.</a><span class='msg-avail'>...</span></td><td>Josselin Poiret</td></tr>
<tr><td><span title='2023-11-14 13:30:49 +0100'>2023-11-14</span></td><td><a href='/guix/commit/gnu/packages/agda.scm?id=7374e14f510b9d320145f4176b43ed92a89e5a67'>gnu: agda-stdlib: Update to 1.7.3.</a><span class='msg-avail'>...</span></td><td>Josselin Poiret</td></tr>
<tr><td><span title='2023-11-14 13:30:48 +0100'>2023-11-14</span></td><td><a href='/guix/commit/gnu/packages/agda.scm?id=a52175730607e4319bce06ead92510743ec2604c'>gnu: agda: Update to 2.6.4.</a><span class='msg-avail'>...</span></td><td>Josselin Poiret</td></tr>
<tr><td><span title='2023-10-11 08:14:00 +0300'>2023-10-11</span></td><td><a href='/guix/commit/gnu/packages/agda.scm?id=cdc82b2f6e89ee2817419fa6d46ece6d2e424919'>gnu: agda-cubical: Add source file-name.</a><span class='msg-avail'>...</span></td><td>Efraim Flashner</td></tr>