diff options
author | Tobias Geerinckx-Rice <me@tobias.gr> | 2020-04-09 18:39:19 +0200 |
---|---|---|
committer | Ludovic Courtès <ludo@gnu.org> | 2020-04-10 16:05:25 +0200 |
commit | 325707fabe03a352eeb27fc8164819e6fac1dd34 (patch) | |
tree | b8ac9113a0d6b8e2a1a3c0df13aeabac4ae1fac8 | |
parent | e830c2a8de0a4b6fbc334c648d976872034b5997 (diff) | |
download | patches-325707fabe03a352eeb27fc8164819e6fac1dd34.tar patches-325707fabe03a352eeb27fc8164819e6fac1dd34.tar.gz |
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 |