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-01-21 22:03:17 +01:00
|
|
|
version = "5.4.1";
|
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-01-21 22:03:17 +01:00
|
|
|
sha256 = "0fnh08wqlhvigkxp69xkdha19ny9j0hg4ycwhhwvyr0d0z47kilw";
|
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";
|
|
|
|
homepage = https://github.com/elementary/stylesheet;
|
|
|
|
license = licenses.gpl3;
|
|
|
|
platforms = platforms.linux;
|
|
|
|
maintainers = pantheon.maintainers;
|
|
|
|
};
|
|
|
|
}
|