;; 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))
lue='search'/>
</form>
</td></tr></table>
<div class='path'>path: <a href='/guix/log/?id=b20b45c6ce67593db9d446d066e02310671ad8d7'>root</a>/<a href='/guix/log/gnu?id=b20b45c6ce67593db9d446d066e02310671ad8d7'>gnu</a>/<a href='/guix/log/gnu/packages?id=b20b45c6ce67593db9d446d066e02310671ad8d7'>packages</a>/<a href='/guix/log/gnu/packages/dhall.scm?id=b20b45c6ce67593db9d446d066e02310671ad8d7'>dhall.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/dhall.scm?id=b20b45c6ce67593db9d446d066e02310671ad8d7&amp;showmsg=1'>Expand</a>)</th><th class='left'>Author</th></tr>
<tr><td><span title='2020-06-09 23:52:20 +0200'>2020-06-09</span></td><td><a href='/guix/commit/gnu/packages/dhall.scm?id=2971ed57345ee4e00058efeaf27c6a0790fdc9dd'>gnu: dhall: Update to 1.32.0.</a><span class='msg-avail'>...<span class='msg-tooltip'>* gnu/packages/dhall.scm (dhall): Update to 1.32.0.
[inputs]: Add ghc-half.
</span></span></td><td>Tobias Geerinckx-Rice</td></tr>
<tr><td><span title='2020-06-09 23:52:19 +0200'>2020-06-09</span></td><td><a href='/guix/commit/gnu/packages/dhall.scm?id=5e7daec9b4bfd2a3a430fc800ab6b1b527a5fa27'>gnu: dhall: Disable network tests differently.</a><span class='msg-avail'>...<span class='msg-tooltip'>* gnu/packages/dhall.scm (dhall)[source]: Remove patch.
[arguments]: Rename ‘remove-more-tests’ phase to ‘remove-network-tests’.
Identify the tests by name instead of by content.
* gnu/packages/patches/dhall-remove-network-tests.patch: Delete file.
* gnu/local.mk (dist_patch_DATA): Remove it.
</span></span></td><td>Tobias Geerinckx-Rice</td></tr>
<tr><td><span title='2020-05-29 10:44:34 -0400'>2020-05-29</span></td><td><a href='/guix/commit/gnu/packages/dhall.scm?id=9ff667ea05d0807b4e6512c92914ae517b9ec755'>gnu: Add dhall.</a><span class='msg-avail'>...<span class='msg-tooltip'>* gnu/packages/dhall.scm: New file.
* gnu/local.mk (GNU_SYSTEM_MODULES): Add it.
(dist_patch_DATA): Add new patch.
* gnu/packages/patches/dhall-remove-network-tests.patch: Add patch to remove
dhall network tests.

Signed-off-by: Leo Famulari &lt;leo@famulari.name&gt;
</span></span></td><td>John Soo</td></tr>