Merge pull request #50783 from romildo/upd.materia-theme

materia-theme: 20180928 -> 20181115
This commit is contained in:
Renaud 2018-11-19 22:43:53 +01:00 committed by GitHub
commit dbe12f7d48
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23

View File

@ -2,13 +2,13 @@
stdenv.mkDerivation rec {
name = "materia-theme-${version}";
version = "20180928";
version = "20181115";
src = fetchFromGitHub {
owner = "nana-4";
repo = "materia-theme";
rev = "v${version}";
sha256 = "0v4mvc4rrf3jwf77spn9f5sqxp72v66k2k467r0aw3nglcpm4wpv";
sha256 = "1vfwzvzbs4336vjg6y4asm21p64xc5f7cfsld5l159174ikcz5fp";
};
nativeBuildInputs = [ gnome3.glib libxml2 bc ];
@ -24,7 +24,6 @@ stdenv.mkDerivation rec {
sed -i install.sh \
-e "s|if .*which gnome-shell.*;|if true;|" \
-e "s|CURRENT_GS_VERSION=.*$|CURRENT_GS_VERSION=${stdenv.lib.versions.majorMinor gnome3.gnome-shell.version}|"
mkdir -p $out/share/themes
./install.sh --dest $out/share/themes
rm $out/share/themes/*/COPYING
'';