Merge pull request #75494 from Elyhaka/pop_gtk_theme

pop-gtk-theme: init at 2019-11-13
This commit is contained in:
worldofpeace 2019-12-19 18:24:08 -05:00 committed by GitHub
commit 83bfedb38b
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23
3 changed files with 70 additions and 0 deletions

View file

@ -2087,6 +2087,12 @@
githubId = 1365692;
name = "Will Fancher";
};
elyhaka = {
email = "elyhaka@protonmail.com";
github = "Elyhaka";
githubId = 57923898;
name = "Elyhaka";
};
emmanuelrosa = {
email = "emmanuel_rosa@aol.com";
github = "emmanuelrosa";

View file

@ -0,0 +1,62 @@
{ stdenv
, fetchFromGitHub
, meson
, ninja
, sassc
, gtk3
, inkscape
, optipng
, gtk-engine-murrine
, gdk-pixbuf
, librsvg
}:
stdenv.mkDerivation rec {
pname = "pop-gtk-theme";
version = "2019-12-17";
src = fetchFromGitHub {
owner = "pop-os";
repo = "gtk-theme";
rev = "77601545f049251bce9c63a07f0d9819aa27cb60";
sha256 = "0bmkcdr1z9m3inrw33zprq2a4jawql4724a84nr89r19xllj2z1s";
};
nativeBuildInputs = [
meson
ninja
sassc
gtk3
inkscape
optipng
];
buildInputs = [
gdk-pixbuf
librsvg
];
propagatedUserEnvPkgs = [
gtk-engine-murrine
];
postPatch = ''
for file in $(find -name render-\*.sh); do
patchShebangs "$file"
substituteInPlace "$file" \
--replace 'INKSCAPE="/usr/bin/inkscape"' \
'INKSCAPE="inkscape"' \
--replace 'OPTIPNG="/usr/bin/optipng"' \
'OPTIPNG="optipng"'
done
'';
meta = with stdenv.lib; {
description = "System76 Pop GTK+ Theme";
homepage = "https://github.com/pop-os/gtk-theme";
license = with licenses; [ gpl3 lgpl21 cc-by-sa-40 ];
platforms = platforms.linux;
maintainers = with maintainers; [ elyhaka ];
};
}

View file

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