2022-08-30 15:57:54 -06:00
|
|
|
{ lib, mkDerivation, fetchFromGitHub, kcoreaddons, kwindowsystem
|
|
|
|
, plasma-framework, systemsettings }:
|
2022-08-30 11:46:46 -06:00
|
|
|
|
|
|
|
mkDerivation rec {
|
|
|
|
pname = "tile-gaps";
|
|
|
|
version = "7.1";
|
|
|
|
|
|
|
|
src = fetchFromGitHub {
|
|
|
|
owner = "nclarius";
|
|
|
|
repo = "tile-gaps";
|
|
|
|
rev = "window-gaps_v${version}";
|
|
|
|
sha256 = "sha256-7tW098kP50rQApn0SW538NrJT0YArpkw/njYWavMvLo=";
|
|
|
|
};
|
|
|
|
|
2022-08-30 15:57:54 -06:00
|
|
|
buildInputs = [ kcoreaddons kwindowsystem plasma-framework systemsettings ];
|
2022-08-30 11:46:46 -06: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} --packageroot $out/share/kwin/scripts
|
|
|
|
install -Dm644 ${src}/metadata.desktop $out/share/kservices5/tilegaps.desktop
|
|
|
|
|
|
|
|
runHook postInstall
|
|
|
|
'';
|
|
|
|
|
|
|
|
meta = with lib; {
|
2022-08-30 16:02:15 -06:00
|
|
|
description = ''
|
2022-08-30 20:53:19 -06:00
|
|
|
KWin script to add space around windows touching a screen edge or other window
|
2022-08-30 16:02:15 -06:00
|
|
|
'';
|
2022-08-30 11:46:46 -06:00
|
|
|
license = licenses.gpl3;
|
|
|
|
maintainers = with maintainers; [ qbit ];
|
|
|
|
inherit (src.meta) homepage;
|
|
|
|
inherit (kwindowsystem.meta) platforms;
|
|
|
|
};
|
|
|
|
}
|