Unverified Commit af044ad3 authored by piegames's avatar piegames Committed by GitHub
Browse files

Merge pull request #256977: paperwm: remove manually packaged extension

parents 1da531b5 860f42f4

pkgs/desktops/gnome/extensions/extensionRenames.nix

+0 −1
Original line number Diff line number Diff line
@@ -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.

pkgs/desktops/gnome/extensions/manuallyPackaged.nix

+0 −1
Original line number Diff line number Diff line
@@ -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 { };

pkgs/desktops/gnome/extensions/paperwm/default.nix

deleted100644 → 0
+0 −42
Original line number Diff line number Diff line 
{ 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";

})