JakeHillion/nixpkgs
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

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

Browse Source 
flat-remix-gnome: 20210921 -> 20211028
This commit is contained in:
Bobby Rong 2021-10-30 11:38:56 +08:00 committed by GitHub
commit 41a5951818
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
1 changed files with 3 additions and 3 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

6
pkgs/data/themes/flat-remix-gnome/default.nix
View File

@ -6,20 +6,20 @@
stdenv.mkDerivation rec {
pname = "flat-remix-gnome";
version = "20210921";
version = "20211028";
src = fetchFromGitHub {
owner = "daniruiz";
repo = pname;
rev = version;
hash = "sha256-HnbKqdDAre2jhZH1Osf3jigz/dQpx7k0fPsVaZz7xC8=";
hash = "sha256-sHJj81MmU9s5sUq5gaIT3leezuG0aVvgTD70Kho9Z0c=";
};
nativeBuildInputs = [ glib ];
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/20210921/Makefile#L53
# https://github.com/daniruiz/flat-remix-gnome/blob/20211028/Makefile#L54
mkdir -p $out/share/gnome-shell/
touch $out/share/gnome-shell/gnome-shell-theme.gresource
'';