2024-04-21 19:28:55 -07:00
|
|
|
{ lib, stdenv, fetchFromGitHub, glib }:
|
|
|
|
|
|
|
|
stdenv.mkDerivation {
|
|
|
|
pname = "gnome-set-panel-monitor";
|
2024-08-28 20:01:32 -07:00
|
|
|
version = "git-2024-08-28";
|
2024-04-21 19:28:55 -07:00
|
|
|
|
|
|
|
src = fetchFromGitHub {
|
|
|
|
owner = "starr-dusT";
|
|
|
|
repo = "gnome-set-panel-monitor";
|
2024-08-28 20:01:32 -07:00
|
|
|
rev = "62d1a7e7ed83d56b33e32f1ad948c99a559b6dbd";
|
|
|
|
hash = "sha256-NB/DycA/VxIeFQk2l0MW7G5VVdJI/Zemy2l28VZx2Cc=";
|
2024-04-21 19:28:55 -07:00
|
|
|
};
|
|
|
|
|
|
|
|
installPhase = ''
|
|
|
|
runHook preInstall
|
|
|
|
mkdir -p "$out/share/gnome-shell/extensions/gnome-set-panel-monitor@tstarr.us"
|
|
|
|
cp -r * "$out/share/gnome-shell/extensions/gnome-set-panel-monitor@tstarr.us"
|
|
|
|
runHook postInstall
|
|
|
|
'';
|
|
|
|
|
|
|
|
passthru = {
|
|
|
|
extensionUuid = "gnome-set-panel-monitor@tstarr.us";
|
|
|
|
extensionPortalSlug = "gnome-set-panel-monitor";
|
|
|
|
};
|
|
|
|
|
|
|
|
meta = with lib; {
|
|
|
|
description = "Set monitor for panel to appear on.";
|
|
|
|
maintainers = with maintainers; [ starr-dusT ];
|
|
|
|
homepage = "https://github.com/starr-dusT/gnome-set-panel-monitor";
|
|
|
|
};
|
|
|
|
}
|