Merge pull request #191735 from AndersonTorres/paperwm

gnomeExtensions.paperwm: 38.1 -> 38.2
This commit is contained in:
Anderson Torres 2022-09-18 09:19:46 -03:00 committed by GitHub
commit b3a271b99e
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23

View file

@ -1,18 +1,20 @@
{ lib, stdenv, fetchFromGitHub }: { lib
, stdenv
, fetchFromGitHub
}:
stdenv.mkDerivation rec { stdenv.mkDerivation (finalAttrs: {
pname = "gnome-shell-extension-paperwm"; pname = "gnome-shell-extension-paperwm";
version = "38.1"; version = "38.2";
src = fetchFromGitHub { src = fetchFromGitHub {
owner = "paperwm"; owner = "paperwm";
repo = "PaperWM"; repo = "PaperWM";
rev = version; rev = finalAttrs.version;
sha256 = "1jq15qrq3khqpjsjbcc17amdr1k53jkvambdacdf56xbqkycvlgs"; hash = "sha256-Unhz2+MOygOog6B5sOLtYTpdeodQH+/CMI93gC5nDvI=";
}; };
passthru.extensionUuid = "paperwm@hedning:matrix.org"; dontConfigure = true;
dontBuild = true; dontBuild = true;
installPhase = '' installPhase = ''
@ -23,9 +25,12 @@ stdenv.mkDerivation rec {
''; '';
meta = with lib; { meta = with lib; {
description = "Tiled scrollable window management for Gnome Shell";
homepage = "https://github.com/paperwm/PaperWM"; homepage = "https://github.com/paperwm/PaperWM";
license = licenses.gpl3; description = "Tiled scrollable window management for Gnome Shell";
maintainers = with maintainers; [ hedning ]; license = licenses.gpl3Plus;
maintainers = with maintainers; [ hedning AndersonTorres ];
platforms = platforms.all;
}; };
}
passthru.extensionUuid = "paperwm@hedning:matrix.org";
})