Merge pull request #175242 from VergeDX/flat-remix-gnome

flat-remix-gnome: update 20220510 -> 20220524
This commit is contained in:
Janne Heß 2022-05-31 19:51:11 +02:00 committed by GitHub
commit bd54a642e9
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23

View file

@ -12,20 +12,21 @@ let
in
stdenv.mkDerivation rec {
pname = "flat-remix-gnome";
version = "20220510";
version = "20220524";
src = fetchFromGitHub {
owner = "daniruiz";
repo = pname;
rev = version;
hash = "sha256-sqHX3APeblZai6NBgY+bnRnkzn6CGXwppiQ4pb8HTTw=";
hash = "sha256-m7Er6F0VWcdV3+oUPfhJJq80oaht15hBFtg7JQgZJI8=";
};
nativeBuildInputs = [ glib fake-dconf ];
makeFlags = [ "PREFIX=$(out)" ];
preInstall = ''
# make install will back up this file, it will fail if the file doesn't exist.
# https://github.com/daniruiz/flat-remix-gnome/blob/20220510/Makefile#L56
preInstall = ''
mkdir -p $out/share/gnome-shell/
touch $out/share/gnome-shell/gnome-shell-theme.gresource
'';