2016-09-18 20:35:23 +01:00
|
|
|
{ stdenv, intltool, fetchurl, libgtop, pkgconfig, gtk3, glib
|
|
|
|
, bash, makeWrapper, itstool, gnome3, file }:
|
|
|
|
|
|
|
|
stdenv.mkDerivation rec {
|
2018-02-25 20:07:20 +00:00
|
|
|
name = "gnome-shell-extensions-${version}";
|
2018-03-13 01:03:18 +00:00
|
|
|
version = "3.28.0";
|
2018-02-25 20:07:20 +00:00
|
|
|
|
|
|
|
src = fetchurl {
|
|
|
|
url = "mirror://gnome/sources/gnome-shell-extensions/${gnome3.versionBranch version}/${name}.tar.xz";
|
2018-03-13 01:03:18 +00:00
|
|
|
sha256 = "00xm5r4q40c0ji80vrsqg2fkrvzb1nm75p3ikv6bsmd3gfvwwp91";
|
2018-02-25 20:07:20 +00:00
|
|
|
};
|
|
|
|
|
|
|
|
passthru = {
|
|
|
|
updateScript = gnome3.updateScript { packageName = "gnome-shell-extensions"; attrPath = "gnome3.gnome-shell-extensions"; };
|
|
|
|
};
|
2016-09-18 20:35:23 +01:00
|
|
|
|
|
|
|
doCheck = true;
|
|
|
|
|
2017-09-05 22:26:13 +01:00
|
|
|
nativeBuildInputs = [ pkgconfig ];
|
|
|
|
buildInputs = [ gtk3 glib libgtop intltool itstool
|
2016-09-18 20:35:23 +01:00
|
|
|
makeWrapper file ];
|
|
|
|
|
2017-09-13 22:41:02 +01:00
|
|
|
configureFlags = [ "--enable-extensions=all" ];
|
|
|
|
|
2016-09-18 20:35:23 +01:00
|
|
|
meta = with stdenv.lib; {
|
|
|
|
homepage = https://wiki.gnome.org/Projects/GnomeShell/Extensions;
|
|
|
|
description = "Modify and extend GNOME Shell functionality and behavior";
|
|
|
|
maintainers = gnome3.maintainers;
|
|
|
|
license = licenses.gpl2;
|
|
|
|
platforms = platforms.linux;
|
|
|
|
};
|
|
|
|
}
|