flat-remix-gnome: 20211028 -> 20211113

main
Vanilla 3 years ago
parent 4d19b372ff
commit 53d0d3e4b7
No known key found for this signature in database
GPG Key ID: 3750028ED04FA42E
  1. 16
      pkgs/data/themes/flat-remix-gnome/default.nix

@ -2,24 +2,30 @@
, fetchFromGitHub
, glib
, lib
, writeScriptBin
}:
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/20211113/Makefile#L38
fake-dconf = writeScriptBin "dconf" "echo -n";
in
stdenv.mkDerivation rec {
pname = "flat-remix-gnome";
version = "20211028";
version = "20211113";
src = fetchFromGitHub {
owner = "daniruiz";
repo = pname;
rev = version;
hash = "sha256-sHJj81MmU9s5sUq5gaIT3leezuG0aVvgTD70Kho9Z0c=";
hash = "sha256-A9aiaS4CXRpr4+Y8+tyvWYRbR9STFS9TuplGksPfqtU=";
};
nativeBuildInputs = [ glib ];
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/20211028/Makefile#L54
# https://github.com/daniruiz/flat-remix-gnome/blob/20211113/Makefile#L56
mkdir -p $out/share/gnome-shell/
touch $out/share/gnome-shell/gnome-shell-theme.gresource
'';

Loading…
Cancel
Save