paperwm: remove manually packaged extension

PaperWM became available on extensions.gnome.org at the end of July.
See: https://github.com/paperwm/PaperWM/pull/569
This commit is contained in:
Sebastian Gabriel Trzpiot 2023-09-23 23:34:41 +02:00
parent 71f9fd4ec5
commit 860f42f451
3 changed files with 0 additions and 44 deletions

View file

@ -120,7 +120,6 @@
"EasyScreenCast@iacopodeenosee.gmail.com" = "easyScreenCast"; # extensionPortalSlug is "easyscreencast"
"gnome-fuzzy-app-search@gnome-shell-extensions.Czarlie.gitlab.com" = "fuzzy-app-search"; # extensionPortalSlug is "gnome-fuzzy-app-search"
"TopIcons@phocean.net" = "topicons-plus"; # extensionPortalSlug is "topicons"
"paperwm@hedning:matrix.org" = "paperwm"; # is not on extensions.gnome.org
"no-title-bar@jonaspoehler.de" = "no-title-bar"; # extensionPortalSlug is "no-title-bar-forked"
# These extensions are automatically packaged at the moment. We preserve the old attribute name
# for backwards compatibility.

View file

@ -9,7 +9,6 @@
"icon-hider@kalnitsky.org" = callPackage ./icon-hider { };
"impatience@gfxmonk.net" = callPackage ./impatience { };
"no-title-bar@jonaspoehler.de" = callPackage ./no-title-bar { };
"paperwm@hedning:matrix.org" = callPackage ./paperwm { };
"pidgin@muffinmad" = callPackage ./pidgin-im-integration { };
"pop-shell@system76.com" = callPackage ./pop-shell { };
"sound-output-device-chooser@kgshank.net" = callPackage ./sound-output-device-chooser { };

View file

@ -1,42 +0,0 @@
{ lib
, stdenv
, fetchFromGitHub
, gitUpdater
}:
stdenv.mkDerivation (finalAttrs: {
pname = "gnome-shell-extension-paperwm";
version = "44.3.1";
src = fetchFromGitHub {
owner = "paperwm";
repo = "PaperWM";
rev = "v${finalAttrs.version}";
hash = "sha256-oGBnQGtx2ku4cfgZkZ3OdHlVuiYR8hy1eYDWDZP3fn4=";
};
dontConfigure = true;
dontBuild = true;
installPhase = ''
runHook preInstall
mkdir -p "$out/share/gnome-shell/extensions/paperwm@hedning:matrix.org"
cp -r . "$out/share/gnome-shell/extensions/paperwm@hedning:matrix.org"
runHook postInstall
'';
passthru.updateScript = gitUpdater { url = finalAttrs.meta.homepage; };
meta = {
homepage = "https://github.com/paperwm/PaperWM";
description = "Tiled scrollable window management for Gnome Shell";
changelog = "https://github.com/paperwm/PaperWM/releases/tag/${finalAttrs.src.rev}";
license = lib.licenses.gpl3Plus;
maintainers = with lib.maintainers; [ hedning AndersonTorres cab404 ];
platforms = lib.platforms.all;
};
passthru.extensionUuid = "paperwm@hedning:matrix.org";
})