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

flat-remix-gnome: update 20220622 -> 20221107.
This commit is contained in:
Mario Rodas 2022-11-13 09:32:42 -05:00 committed by GitHub
commit 9bda7f40f9
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23

View File

@ -7,25 +7,25 @@
let let
# make install will use dconf to find desktop background file uri. # make install will use dconf to find desktop background file uri.
# consider adding an args to allow specify pictures manually. # consider adding an args to allow specify pictures manually.
# https://github.com/daniruiz/flat-remix-gnome/blob/20220510/Makefile#L38 # https://github.com/daniruiz/flat-remix-gnome/blob/20221107/Makefile#L38
fake-dconf = writeScriptBin "dconf" "echo -n"; fake-dconf = writeScriptBin "dconf" "echo -n";
in in
stdenv.mkDerivation rec { stdenv.mkDerivation rec {
pname = "flat-remix-gnome"; pname = "flat-remix-gnome";
version = "20220622"; version = "20221107";
src = fetchFromGitHub { src = fetchFromGitHub {
owner = "daniruiz"; owner = "daniruiz";
repo = pname; repo = pname;
rev = version; rev = version;
hash = "sha256-fm1YOKI6TLkCnkkPZkp8I0xWkNrZt4sVktYZyD5foKU="; hash = "sha256-5V3ECbQe3/5bhHnMR1pzvehs1eh0u9U7E1voDiqo9cY=";
}; };
nativeBuildInputs = [ glib fake-dconf ]; nativeBuildInputs = [ glib fake-dconf ];
makeFlags = [ "PREFIX=$(out)" ]; makeFlags = [ "PREFIX=$(out)" ];
# 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/20220510/Makefile#L56 # https://github.com/daniruiz/flat-remix-gnome/blob/20221107/Makefile#L56
preInstall = '' preInstall = ''
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