elementary-gtk-theme: drop

This commit is contained in:
worldofpeace 2018-08-20 16:25:26 -04:00
parent 68d09065ef
commit 4c59f07017
2 changed files with 0 additions and 30 deletions

View file

@ -1,28 +0,0 @@
{ 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

@ -21343,8 +21343,6 @@ in
orion = callPackage ../misc/themes/orion {};
elementary-gtk-theme = callPackage ../misc/themes/elementary { };
albatross = callPackage ../misc/themes/albatross { };
gtk_engines = callPackage ../misc/themes/gtk2/gtk-engines { };