2018-08-20 22:31:18 +02:00
|
|
|
{ stdenv, fetchFromGitHub, pantheon, meson, ninja }:
|
|
|
|
|
|
|
|
stdenv.mkDerivation rec {
|
|
|
|
pname = "stylesheet";
|
2019-08-04 10:04:49 +02:00
|
|
|
version = "5.2.5";
|
2018-08-20 22:31:18 +02:00
|
|
|
|
|
|
|
name = "elementary-gtk-theme-${version}";
|
|
|
|
|
|
|
|
src = fetchFromGitHub {
|
|
|
|
owner = "elementary";
|
|
|
|
repo = pname;
|
|
|
|
rev = version;
|
2019-08-04 10:04:49 +02:00
|
|
|
sha256 = "0934rfdwkn4315mhayzba8a3b6i1xczp66gl6n45hh5c81gb2p65";
|
2018-08-20 22:31:18 +02:00
|
|
|
};
|
|
|
|
|
|
|
|
passthru = {
|
|
|
|
updateScript = pantheon.updateScript {
|
|
|
|
repoName = pname;
|
|
|
|
attrPath = "elementary-gtk-theme";
|
|
|
|
};
|
|
|
|
};
|
|
|
|
|
|
|
|
nativeBuildInputs = [
|
|
|
|
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;
|
|
|
|
};
|
|
|
|
}
|