diff options
Diffstat (limited to 'pkgs/misc/themes/elementary/default.nix')
-rw-r--r-- | pkgs/misc/themes/elementary/default.nix | 28 |
1 files changed, 0 insertions, 28 deletions
diff --git a/pkgs/misc/themes/elementary/default.nix b/pkgs/misc/themes/elementary/default.nix deleted file mode 100644 index 0d02b32c8ff..00000000000 --- a/pkgs/misc/themes/elementary/default.nix +++ /dev/null @@ -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 ]; - }; -} |