gnome3.devhelp: fix blank pages

This commit is contained in:
Jan Tojnar 2019-11-04 18:20:42 +01:00
parent 1a3f284b9c
commit 6160907f85
No known key found for this signature in database
GPG Key ID: 7FAB2A15F7A607A4

View File

@ -15,6 +15,7 @@
, gettext , gettext
, itstool , itstool
, gsettings-desktop-schemas , gsettings-desktop-schemas
, shared-mime-info
}: }:
stdenv.mkDerivation rec { stdenv.mkDerivation rec {
@ -54,6 +55,14 @@ stdenv.mkDerivation rec {
patchShebangs meson_post_install.py patchShebangs meson_post_install.py
''; '';
preFixup = ''
gappsWrapperArgs+=(
# Fix pages being blank
# https://gitlab.gnome.org/GNOME/devhelp/issues/14
--prefix XDG_DATA_DIRS : "${shared-mime-info}/share"
)
'';
passthru = { passthru = {
updateScript = gnome3.updateScript { updateScript = gnome3.updateScript {
packageName = "devhelp"; packageName = "devhelp";