diff options
author | romildo <malaquias@gmail.com> | 2017-09-13 18:41:02 -0300 |
---|---|---|
committer | romildo <malaquias@gmail.com> | 2017-09-13 18:41:02 -0300 |
commit | 349782cee4f6e363f1951b384dd602f14796d64c (patch) | |
tree | a5024183aa7fa202deb52084d2d5efe374433fb4 | |
parent | 349a09228e626a460a3b2aeea3a79bb6d8fb942b (diff) |
gnome-shell-extensions: enable all extensions
-rw-r--r-- | pkgs/desktops/gnome-3/3.24/core/gnome-shell-extensions/default.nix | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/pkgs/desktops/gnome-3/3.24/core/gnome-shell-extensions/default.nix b/pkgs/desktops/gnome-3/3.24/core/gnome-shell-extensions/default.nix index e9eae87f14e35..83305f440b146 100644 --- a/pkgs/desktops/gnome-3/3.24/core/gnome-shell-extensions/default.nix +++ b/pkgs/desktops/gnome-3/3.24/core/gnome-shell-extensions/default.nix @@ -9,6 +9,8 @@ stdenv.mkDerivation rec { buildInputs = [ pkgconfig gtk3 glib libgtop intltool itstool makeWrapper file ]; + configureFlags = [ "--enable-extensions=all" ]; + meta = with stdenv.lib; { homepage = https://wiki.gnome.org/Projects/GnomeShell/Extensions; description = "Modify and extend GNOME Shell functionality and behavior"; |