summaryrefslogtreecommitdiff
path: root/gnu/packages
diff options
context:
space:
mode:
authorLudovic Courtès <ludo@gnu.org>2020-02-23 11:47:41 +0100
committerLudovic Courtès <ludo@gnu.org>2020-02-23 12:47:13 +0100
commit9f2fef4fb164df81034c2b114292d836a9f6d4f8 (patch)
tree518f6bae66a6d5c96fd9bf492540ca587afda3da /gnu/packages
parent6a3911b88f84eff6b3268b4687caea405f43e39b (diff)
gnu: gnome: Re-add key propagated inputs.
Fixes <https://bugs.gnu.org/39646>. Reported by Andy Wingo <wingo@pobox.com>. * gnu/packages/gnome.scm (gnome)[propagated-inputs]: Re-add packages inadvertently removed in a8cda7f57992e9ce9ae4a694eba54e3eab42c39b.
Diffstat (limited to 'gnu/packages')
-rw-r--r--gnu/packages/gnome.scm24
1 files changed, 23 insertions, 1 deletions
diff --git a/gnu/packages/gnome.scm b/gnu/packages/gnome.scm
index 3c63ab283d..c64b182869 100644
--- a/gnu/packages/gnome.scm
+++ b/gnu/packages/gnome.scm
@@ -7906,7 +7906,29 @@ world.")
("yelp" ,yelp)
;; Others
("hicolor-icon-theme" ,hicolor-icon-theme)
- ("gnome-online-accounts" ,gnome-online-accounts)))
+ ("gnome-online-accounts" ,gnome-online-accounts)
+
+ ;; Packages not part of GNOME proper but that are needed for a good
+ ;; experience. See <https://bugs.gnu.org/39646>.
+ ;; XXX: Find out exactly which ones are needed and why.
+ ("font-cantarell" ,font-cantarell)
+ ("font-dejavu" ,font-dejavu)
+ ("at-spi2-core" ,at-spi2-core)
+ ("dbus" ,dbus)
+ ("dconf" ,dconf)
+ ("desktop-file-utils" ,desktop-file-utils)
+ ("gnome-default-applications" ,gnome-default-applications)
+ ("gnome-themes-standard" ,gnome-themes-standard)
+ ("gst-plugins-base" ,gst-plugins-base)
+ ("gst-plugins-good" ,gst-plugins-good)
+ ("gucharmap" ,gucharmap)
+ ("pinentry-gnome3" ,pinentry-gnome3)
+ ("pulseaudio" ,pulseaudio)
+ ("shared-mime-info" ,shared-mime-info)
+ ("system-config-printer" ,system-config-printer)
+ ("xdg-user-dirs" ,xdg-user-dirs)
+ ("yelp" ,yelp)
+ ("zenity" ,zenity)))
(synopsis "The GNU desktop environment")
(home-page "https://www.gnome.org/")
(description