flat-remix-gnome: 20210715 -> 20210716

This commit is contained in:
Vanilla 2021-07-30 15:44:00 +08:00
parent 0f83a6b6cf
commit 31a0f36b06

View File

@ -6,20 +6,20 @@
stdenv.mkDerivation rec { stdenv.mkDerivation rec {
pname = "flat-remix-gnome"; pname = "flat-remix-gnome";
version = "20210715"; version = "20210716";
src = fetchFromGitHub { src = fetchFromGitHub {
owner = "daniruiz"; owner = "daniruiz";
repo = pname; repo = pname;
rev = version; rev = version;
hash = "sha256-e7sXzmhfBfcp+KqIc9yuqqXLfYzVlQVn9TNYoa2lZcA="; hash = "sha256-UAWi4MyqtuSzp5TEkVLYJF7+2tzH/aT60ObNOimCJ4o=";
}; };
nativeBuildInputs = [ glib ]; nativeBuildInputs = [ glib ];
makeFlags = [ "PREFIX=$(out)" ]; makeFlags = [ "PREFIX=$(out)" ];
preInstall = '' preInstall = ''
# make install will back up this file, it will fail if the file doesn't exist. # make install will back up this file, it will fail if the file doesn't exist.
# https://github.com/daniruiz/flat-remix-gnome/blob/20210623/Makefile#L50 # https://github.com/daniruiz/flat-remix-gnome/blob/20210716/Makefile#L53
mkdir -p $out/share/gnome-shell/ mkdir -p $out/share/gnome-shell/
touch $out/share/gnome-shell/gnome-shell-theme.gresource touch $out/share/gnome-shell/gnome-shell-theme.gresource
''; '';