Skip to content

Commit

Permalink
flat-remix-gnome: update 20221107 -> 20230508.
Browse files Browse the repository at this point in the history
  • Loading branch information
VergeDX committed May 15, 2023
1 parent b7dfa50 commit baf654c
Showing 1 changed file with 4 additions and 4 deletions.
8 changes: 4 additions & 4 deletions pkgs/data/themes/flat-remix-gnome/default.nix
Original file line number Diff line number Diff line change
Expand Up @@ -7,25 +7,25 @@
let
# make install will use dconf to find desktop background file uri.
# consider adding an args to allow specify pictures manually.
# https://github.com/daniruiz/flat-remix-gnome/blob/20221107/Makefile#L38
# https://github.com/daniruiz/flat-remix-gnome/blob/20230508/Makefile#L38
fake-dconf = writeScriptBin "dconf" "echo -n";
in
stdenv.mkDerivation rec {
pname = "flat-remix-gnome";
version = "20221107";
version = "20230508";

src = fetchFromGitHub {
owner = "daniruiz";
repo = pname;
rev = version;
hash = "sha256-5V3ECbQe3/5bhHnMR1pzvehs1eh0u9U7E1voDiqo9cY=";
hash = "sha256-MMWLSpGMvHFu3gZzU3IlfNxLY6ItMtxGLZltTJZXYaw=";
};

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/20221107/Makefile#L56
# https://github.com/daniruiz/flat-remix-gnome/blob/20230508/Makefile#L56
preInstall = ''
mkdir -p $out/share/gnome-shell/
touch $out/share/gnome-shell/gnome-shell-theme.gresource
Expand Down

0 comments on commit baf654c

Please sign in to comment.