diff options
author | Maciej Krüger <mkg20001@gmail.com> | 2021-11-13 12:10:51 +0100 |
---|---|---|
committer | GitHub <noreply@github.com> | 2021-11-13 12:10:51 +0100 |
commit | af3d60191951c0a8564e7081f941903f521c8325 (patch) | |
tree | 93fd15fa33d1ba22076d78981c8ce54fa1f75d28 /pkgs | |
parent | 6829549cb03d5501db0ce58c327b049d6adcb33a (diff) | |
parent | 53d0d3e4b7aee7e097d84b15415c60fc2bb4a097 (diff) |
Merge pull request #145733 from VergeDX/flat-remix-gnome
Diffstat (limited to 'pkgs')
-rw-r--r-- | pkgs/data/themes/flat-remix-gnome/default.nix | 16 |
1 files changed, 11 insertions, 5 deletions
diff --git a/pkgs/data/themes/flat-remix-gnome/default.nix b/pkgs/data/themes/flat-remix-gnome/default.nix index bef378d66c3e..4c43a48c1d9f 100644 --- a/pkgs/data/themes/flat-remix-gnome/default.nix +++ b/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 ''; |