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-11-10 22:59:43 -08:00
|
|
|
rev = "89204ab29a4872c201f8185cee758384be073a73";
|
|
|
|
hash = "sha256-MJVUjvrEe5b38MkRPt96NOH3cz1FzjoQWTPNtRFRVck=";
|
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";
|
|
|
|
};
|
|
|
|
}
|