Merge pull request #86196 from romildo/upd.pop-icon-theme

pop-icon-theme: init at 2020-03-04
This commit is contained in:
José Romildo Malaquias 2020-05-03 09:39:03 -03:00 committed by GitHub
commit 3c82dcca05
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23
2 changed files with 47 additions and 0 deletions

View file

@ -0,0 +1,45 @@
{ stdenv
, fetchFromGitHub
, meson
, ninja
, gtk3
, breeze-icons
, gnome3
, pantheon
, hicolor-icon-theme
}:
stdenv.mkDerivation rec {
pname = "pop-icon-theme";
version = "2020-03-04";
src = fetchFromGitHub {
owner = "pop-os";
repo = "icon-theme";
rev = "11f18cb48455b47b6535018f1968777100471be1";
sha256 = "1s4pjwv2ynw400gnzgzczlxzw3gxh5s8cxxbi9zpxq4wzjg6jqyv";
};
nativeBuildInputs = [
meson
ninja
gtk3
];
propagatedBuildInputs = [
breeze-icons
gnome3.adwaita-icon-theme
pantheon.elementary-icon-theme
hicolor-icon-theme
];
dontDropIconThemeCache = true;
meta = with stdenv.lib; {
description = "Icon theme for Pop!_OS with a semi-flat design and raised 3D motifs";
homepage = "https://github.com/pop-os/icon-theme";
license = with licenses; [ cc-by-sa-40 gpl3 ];
platforms = platforms.unix;
maintainers = with maintainers; [ romildo ];
};
}

View file

@ -18096,6 +18096,8 @@ in
pop-gtk-theme = callPackage ../data/themes/pop-gtk { };
pop-icon-theme = callPackage ../data/icons/pop-icon-theme { };
posix_man_pages = callPackage ../data/documentation/man-pages-posix { };
powerline-fonts = callPackage ../data/fonts/powerline-fonts { };