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