2022-10-07 12:39:27 +02:00
|
|
|
{ lib
|
|
|
|
, mkDerivation
|
|
|
|
, fetchFromGitHub
|
|
|
|
, kcoreaddons
|
|
|
|
, kwindowsystem
|
|
|
|
, plasma-framework
|
|
|
|
, systemsettings
|
|
|
|
}:
|
2019-11-24 15:05:07 +01:00
|
|
|
|
|
|
|
mkDerivation rec {
|
|
|
|
pname = "krohnkite";
|
2022-02-23 13:27:32 +01:00
|
|
|
version = "0.8.2";
|
2019-11-24 15:05:07 +01:00
|
|
|
|
|
|
|
src = fetchFromGitHub {
|
|
|
|
owner = "esjeon";
|
|
|
|
repo = "krohnkite";
|
|
|
|
rev = "v${version}";
|
2022-02-23 13:27:32 +01:00
|
|
|
hash = "sha256-HZCD5884pHuHey+d+HRx/F/Sp1b6ZUy7MdqqZ08H0lU=";
|
2019-11-24 15:05:07 +01:00
|
|
|
};
|
|
|
|
|
|
|
|
buildInputs = [
|
2022-10-07 12:39:27 +02:00
|
|
|
kcoreaddons
|
|
|
|
kwindowsystem
|
|
|
|
plasma-framework
|
|
|
|
systemsettings
|
2019-11-24 15:05:07 +01:00
|
|
|
];
|
|
|
|
|
|
|
|
dontBuild = true;
|
|
|
|
|
|
|
|
# 1. --global still installs to $HOME/.local/share so we use --packageroot
|
|
|
|
# 2. plasmapkg2 doesn't copy metadata.desktop into place, so we do that manually
|
|
|
|
installPhase = ''
|
|
|
|
runHook preInstall
|
|
|
|
|
|
|
|
plasmapkg2 --type kwinscript --install ${src}/res/ --packageroot $out/share/kwin/scripts
|
|
|
|
install -Dm644 ${src}/res/metadata.desktop $out/share/kservices5/krohnkite.desktop
|
|
|
|
|
2020-09-03 16:03:01 +02:00
|
|
|
runHook postInstall
|
2019-11-24 15:05:07 +01:00
|
|
|
'';
|
|
|
|
|
|
|
|
meta = with lib; {
|
|
|
|
description = "A dynamic tiling extension for KWin";
|
|
|
|
license = licenses.mit;
|
|
|
|
maintainers = with maintainers; [ seqizz ];
|
|
|
|
inherit (src.meta) homepage;
|
|
|
|
inherit (kwindowsystem.meta) platforms;
|
|
|
|
};
|
|
|
|
}
|