Merge pull request #32785 from davidak/elementary-gtk-theme

elementary-gtk-theme: init at 5.1.1
This commit is contained in:
Orivej Desh 2017-12-24 01:01:04 +00:00 committed by GitHub
commit d7e6066c71
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
2 changed files with 30 additions and 0 deletions

View File

@ -0,0 +1,28 @@
{ stdenv, fetchFromGitHub }:
stdenv.mkDerivation rec {
name = "elementary-gtk-theme-${version}";
version = "5.1.1";
src = fetchFromGitHub {
owner = "elementary";
repo = "stylesheet";
rev = version;
sha256 = "1749byc2lbxmprladn9n7k6jh79r8ffgayjn689gmqsrm6czsmh2";
};
dontBuild = true;
installPhase = ''
mkdir -p $out/share/themes/elementary
cp -r gtk-* plank $out/share/themes/elementary
'';
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.unix;
maintainers = with maintainers; [ davidak ];
};
}

View File

@ -18620,6 +18620,8 @@ with pkgs;
deepin-gtk-theme = callPackage ../misc/themes/deepin { };
elementary-gtk-theme = callPackage ../misc/themes/elementary { };
albatross = callPackage ../misc/themes/albatross { };
gtk_engines = callPackage ../misc/themes/gtk2/gtk-engines { };