diff options
author | Janne Heß <janne@hess.ooo> | 2022-05-31 19:51:11 +0200 |
---|---|---|
committer | GitHub <noreply@github.com> | 2022-05-31 19:51:11 +0200 |
commit | bd54a642e90be8df65115b01ccd819b91d30bb17 (patch) | |
tree | af81156694718309a26aff5083687f57fd8813ce /pkgs/data | |
parent | f3182bb4719dc267fba5bbbf10db5029f620d0e6 (diff) | |
parent | 0287ef1019a15356ad2a6d20fe1e566d2c9a3795 (diff) |
Merge pull request #175242 from VergeDX/flat-remix-gnome
flat-remix-gnome: update 20220510 -> 20220524
Diffstat (limited to 'pkgs/data')
-rw-r--r-- | pkgs/data/themes/flat-remix-gnome/default.nix | 9 |
1 files changed, 5 insertions, 4 deletions
diff --git a/pkgs/data/themes/flat-remix-gnome/default.nix b/pkgs/data/themes/flat-remix-gnome/default.nix index c418d10eb66bf..c4e133668b13d 100644 --- a/pkgs/data/themes/flat-remix-gnome/default.nix +++ b/pkgs/data/themes/flat-remix-gnome/default.nix @@ -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)" ]; + + # 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 = '' - # 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 mkdir -p $out/share/gnome-shell/ touch $out/share/gnome-shell/gnome-shell-theme.gresource ''; |