Merge pull request #51689 from dtzWill/update/elementary-icon-theme-5.0.1

elementary-icon-theme: 5.0 -> 5.0.1
This commit is contained in:
worldofpeace 2018-12-07 22:32:58 -05:00 committed by GitHub
commit 1f739a8810
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23

View file

@ -2,17 +2,22 @@
stdenv.mkDerivation rec {
name = "elementary-icon-theme-${version}";
version = "5.0";
version = "5.0.1";
src = fetchFromGitHub {
owner = "elementary";
repo = "icons";
rev = version;
sha256 = "146s26q4bb5sag35iv42hrnbdciam2ajl7s5s5jayli5vp8bw08w";
sha256 = "1rw924b3ixfdff368dpv4vgsykwncmrvj9a6yfss0cf236xnvr9b";
};
nativeBuildInputs = [ meson ninja python3 gtk3 ];
# Disable installing gimp and inkscape palette files
mesonFlags = [
"-Dpalettes=false"
];
postPatch = ''
chmod +x meson/symlink.py
patchShebangs .