diff options
| author | Ludovic Courtès <ludo@gnu.org> | 2020-02-23 11:47:41 +0100 |
|---|---|---|
| committer | Ludovic Courtès <ludo@gnu.org> | 2020-02-23 12:47:13 +0100 |
| commit | 9f2fef4fb164df81034c2b114292d836a9f6d4f8 (patch) | |
| tree | 518f6bae66a6d5c96fd9bf492540ca587afda3da /gnu | |
| parent | 6a3911b88f84eff6b3268b4687caea405f43e39b (diff) | |
| download | patches-9f2fef4fb164df81034c2b114292d836a9f6d4f8.tar patches-9f2fef4fb164df81034c2b114292d836a9f6d4f8.tar.gz | |
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')
| -rw-r--r-- | gnu/packages/gnome.scm | 24 |
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 |