2019-08-05 20:02:06 +02:00
|
|
|
{ stdenv
|
|
|
|
, fetchFromGitHub
|
|
|
|
, pantheon
|
|
|
|
, meson
|
|
|
|
, ninja
|
2019-11-03 17:41:01 +01:00
|
|
|
, gettext
|
2019-08-05 20:02:06 +02:00
|
|
|
}:
|
2018-08-20 22:31:18 +02:00
|
|
|
|
|
|
|
stdenv.mkDerivation rec {
|
2019-08-06 00:41:32 +02:00
|
|
|
pname = "elementary-gtk-theme";
|
2020-03-01 15:20:53 +01:00
|
|
|
version = "5.4.2";
|
2018-08-20 22:31:18 +02:00
|
|
|
|
2019-08-06 00:41:32 +02:00
|
|
|
repoName = "stylesheet";
|
2018-08-20 22:31:18 +02:00
|
|
|
|
|
|
|
src = fetchFromGitHub {
|
|
|
|
owner = "elementary";
|
2019-08-06 00:41:32 +02:00
|
|
|
repo = repoName;
|
2018-08-20 22:31:18 +02:00
|
|
|
rev = version;
|
2020-03-01 15:20:53 +01:00
|
|
|
sha256 = "0aqq0d21mqgrfiyhpfa8k51wxw2pia0qlsgp0sli79v7nwn3ykbq";
|
2018-08-20 22:31:18 +02:00
|
|
|
};
|
|
|
|
|
|
|
|
passthru = {
|
|
|
|
updateScript = pantheon.updateScript {
|
2019-12-22 07:44:42 +01:00
|
|
|
attrPath = "pantheon.${pname}";
|
2018-08-20 22:31:18 +02:00
|
|
|
};
|
|
|
|
};
|
|
|
|
|
|
|
|
nativeBuildInputs = [
|
2019-11-03 17:41:01 +01:00
|
|
|
gettext
|
2018-08-20 22:31:18 +02:00
|
|
|
meson
|
|
|
|
ninja
|
|
|
|
];
|
|
|
|
|
|
|
|
meta = with stdenv.lib; {
|
|
|
|
description = "GTK theme designed to be smooth, attractive, fast, and usable";
|
2020-04-01 03:11:51 +02:00
|
|
|
homepage = "https://github.com/elementary/stylesheet";
|
2018-08-20 22:31:18 +02:00
|
|
|
license = licenses.gpl3;
|
|
|
|
platforms = platforms.linux;
|
|
|
|
maintainers = pantheon.maintainers;
|
|
|
|
};
|
|
|
|
}
|