nixpkgs/pkgs/desktops/gnome-3
Bjørn Forsman 0b061e7f75 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).
2016-06-18 14:17:27 +02:00
..
3.18 gnome3.libcroco: 0.6.8 -> 0.6.11 2016-05-31 15:17:04 +02:00
3.20 gnome-terminal: enable GNOME Shell search provider (for 3.20) 2016-06-18 14:17:27 +02:00
extensions system-monitor gnome-shell extension: init 2016-04-15 16:19:44 -04:00