This repository has been archived on 2024-04-14. You can view files and clone it, but cannot push or open issues or pull requests.
2023-10-08 10:51:15 +01:00
|
|
|
{
|
|
|
|
stdenvNoCC,
|
|
|
|
fetchFromGitHub,
|
|
|
|
inputs,
|
|
|
|
gtk3,
|
|
|
|
gnome-icon-theme,
|
|
|
|
hicolor-icon-theme,
|
|
|
|
}:
|
2023-05-29 16:43:26 +01:00
|
|
|
stdenvNoCC.mkDerivation rec {
|
|
|
|
pname = "gruvbox-plus-icon-pack";
|
2023-09-24 01:42:00 +01:00
|
|
|
version = "9999";
|
2023-05-29 16:43:26 +01:00
|
|
|
|
2023-10-08 10:51:15 +01:00
|
|
|
src = inputs.gruvbox-plus-icon-pack;
|
2023-05-29 16:43:26 +01:00
|
|
|
|
2023-12-01 12:55:49 +00:00
|
|
|
nativeBuildInputs = [gtk3];
|
2023-05-29 16:43:26 +01:00
|
|
|
|
2023-10-08 10:51:15 +01:00
|
|
|
propagatedBuildInputs = [gnome-icon-theme hicolor-icon-theme];
|
2023-06-01 21:20:44 +01:00
|
|
|
|
2023-05-29 16:43:26 +01:00
|
|
|
installPhase = ''
|
2023-09-24 01:42:00 +01:00
|
|
|
cd Gruvbox-Plus-Dark
|
|
|
|
mkdir -p $out/share/icons/Gruvbox-Plus-Dark
|
|
|
|
cp -r * $out/share/icons/Gruvbox-Plus-Dark
|
|
|
|
'';
|
2023-06-01 21:20:44 +01:00
|
|
|
|
2023-05-29 16:43:26 +01:00
|
|
|
dontDropIconThemeCache = true;
|
|
|
|
}
|