diff options
| author | Tobias Geerinckx-Rice <me@tobias.gr> | 2020-04-09 18:39:19 +0200 |
|---|---|---|
| committer | Tobias Geerinckx-Rice <me@tobias.gr> | 2020-04-10 01:52:36 +0200 |
| commit | 8764064c05f75d28065a5fc924fa0f49d4ae4c3a (patch) | |
| tree | 28569cc908f2fb9e17a4aa79b3f498fc65d7d911 | |
| parent | 26c1bd9dfafb5a954d2174b7a000304cd7ae6345 (diff) | |
services: gnome: Fix ‘gnome’ field name.
To match its own documentation & other similar services.
* gnu/services/desktop.scm (gnome-desktop-configuration)[gnome-package]:
Rename to…
[gnome]: …this.
| -rw-r--r-- | gnu/services/desktop.scm | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/gnu/services/desktop.scm b/gnu/services/desktop.scm index 7300ff5f4a..8663243256 100644 --- a/gnu/services/desktop.scm +++ b/gnu/services/desktop.scm @@ -10,6 +10,7 @@ ;;; Copyright © 2017, 2019 Christopher Baines <mail@cbaines.net> ;;; Copyright © 2019 Tim Gesthuizen <tim.gesthuizen@yahoo.de> ;;; Copyright © 2019 David Wilson <david@daviwil.com> +;;; Copyright © 2020 Tobias Geerinckx-Rice <me@tobias.gr> ;;; ;;; This file is part of GNU Guix. ;;; @@ -892,7 +893,7 @@ rules.") (define-record-type* <gnome-desktop-configuration> gnome-desktop-configuration make-gnome-desktop-configuration gnome-desktop-configuration? - (gnome-package gnome-package (default gnome))) + (gnome gnome-package (default gnome))) (define (gnome-polkit-settings config) "Return the list of GNOME dependencies that provide polkit actions and |