2024-07-04 01:14:24 +02:00
|
|
|
{
|
|
|
|
|
lib,
|
|
|
|
|
stdenv,
|
|
|
|
|
fetchFromGitea,
|
|
|
|
|
}:
|
2024-06-13 15:38:40 +02:00
|
|
|
stdenv.mkDerivation {
|
|
|
|
|
pname = "e17gtk-revolved";
|
|
|
|
|
version = "2023-06-13";
|
|
|
|
|
|
|
|
|
|
src = fetchFromGitea {
|
|
|
|
|
domain = "git.disroot.org";
|
|
|
|
|
owner = "eudaimon";
|
|
|
|
|
repo = "E17gtk-revolved";
|
|
|
|
|
rev = "2217140ec82dc0cf10340d8490a3ca23d1567577";
|
|
|
|
|
hash = "sha256-RiwraD7ou6MRQbP/BvwkV3djU+O+/wjwHjeV16AUotw=";
|
|
|
|
|
};
|
|
|
|
|
|
|
|
|
|
installPhase = ''
|
|
|
|
|
runHook preInstall
|
|
|
|
|
|
|
|
|
|
install -d $out/share/themes/E17gtk-revolved
|
|
|
|
|
cp -r * $out/share/themes/E17gtk-revolved
|
2024-07-04 01:14:24 +02:00
|
|
|
|
2024-06-13 15:38:40 +02:00
|
|
|
runHook postInstall
|
|
|
|
|
'';
|
|
|
|
|
|
|
|
|
|
meta = with lib; {
|
|
|
|
|
description = "E17GTK-Revolved Theme";
|
|
|
|
|
homepage = "https://git.disroot.org/eudaimon/E17gtk-revolved";
|
|
|
|
|
license = licenses.gpl3Plus;
|
|
|
|
|
platforms = platforms.linux;
|
|
|
|
|
};
|
|
|
|
|
}
|
