nixpkgs/pkgs/desktops
Bjørn Forsman 3d81213509 gnome-terminal: enable GNOME Shell search provider
Silly ./configure, it looks for dbus file from gnome-shell in the
installation tree of the package it is configuring. Fix by copying the
needed file from gnome-shell before ./configure is run.

This change makes gnome-shell a build time dependency (not runtime).
2016-01-10 22:27:24 +01:00
..
cinnamon Use libpulseaudio instead of pulseaudio 2015-05-29 14:32:56 -07:00
e19 e19.efl: remove dependency on VLC 2015-11-22 21:44:12 +01:00
enlightenment xlibs: replace occurrences by xorg 2015-09-15 12:54:34 +02:00
gnome-2 gnome-common: fix derivation name for the patch 2015-10-05 15:17:53 +02:00
gnome-3 gnome-terminal: enable GNOME Shell search provider 2016-01-10 22:27:24 +01:00
kde-4.14 system-config-printer: align attrname with pkgname 2016-01-03 15:18:04 +01:00
pantheon/apps/pantheon-terminal pantheon-terminal: 0.3.0.1 -> 0.3.1.3 2015-09-20 18:24:37 +02:00
plasma-5.5 kde5: plasma-5.5.2 -> plasma-5.5.3 2016-01-06 17:29:46 -06:00
xfce thunar: improvements (close #10306) 2015-11-24 09:51:39 +01:00