gnome-terminal: enable GNOME Shell search provider (for 3.20)

[This is a re-re-application of the patch that was originally written
for GNOME 3.16. It was lost during the transition to GNOME 3.18 and
then to 3.20. Third time's a charm?]

Silly ./configure, it looks for dbus file from gnome-shell in the
installation tree of the package it is configuring. Fix by copying
needed file from gnome-shell before ./configure is run.

This change makes gnome-shell a build time dependency (not runtime).
This commit is contained in:
Bjørn Forsman 2016-06-07 14:30:00 +02:00
parent bb084880ef
commit 0b061e7f75

View file

@ -11,8 +11,15 @@ stdenv.mkDerivation rec {
nativeBuildInputs = [ pkgconfig intltool gnome_doc_utils which libuuid libxml2
desktop_file_utils wrapGAppsHook ];
# Silly ./configure, it looks for dbus file from gnome-shell in the
# installation tree of the package it is configuring.
preConfigure = ''
mkdir -p "$out/share/dbus-1/interfaces"
cp "${gnome3.gnome_shell}/share/dbus-1/interfaces/org.gnome.ShellSearchProvider2.xml" "$out/share/dbus-1/interfaces"
'';
# FIXME: enable for gnome3
configureFlags = [ "--disable-search-provider" "--disable-migration" ];
configureFlags = [ "--disable-migration" ];
meta = with stdenv.lib; {
description = "The GNOME Terminal Emulator";