gnome-shell-extension-pop-shell: remove package

I don't use it much and it is also available on nixpkgs with more recent
versions anyway.
This commit is contained in:
Gabriel Arazas 2023-07-14 22:11:27 +08:00
parent 84f51065ef
commit b6ac03c806
No known key found for this signature in database
GPG Key ID: ADE0C41DAB221FCC
2 changed files with 0 additions and 51 deletions

View File

@ -22,8 +22,6 @@ let
gnome-shell-extension-burn-my-windows = callPackage ./gnome-shell-extension-burn-my-windows { };
gnome-shell-extension-fly-pie =
callPackage ./gnome-shell-extension-fly-pie.nix { };
gnome-shell-extension-pop-shell =
callPackage ./gnome-shell-extension-pop-shell.nix { };
gnome-shell-extension-paperwm-latest = gnomeExtensions.paperwm.overrideAttrs (prev: {
rev = "unstable-2022-11-13";
src = fetchFromGitHub {

View File

@ -1,49 +0,0 @@
{ lib, stdenv, fetchFromGitHub, glib, nodePackages, gjs }:
stdenv.mkDerivation rec {
pname = "gnome-shell-extension-pop-shell";
version = "unstable-2022-09-19";
src = fetchFromGitHub {
owner = "pop-os";
repo = "shell";
rev = "f0e9232164132396de5cbca60dd2cba0bea2916f";
sha256 = "sha256-Jgcxb7FDCyoBZPCKs0wpLV/qPFn0Jp+ER0SP8SK+s7g=";
};
nativeBuildInputs = [ glib nodePackages.typescript gjs ];
makeFlags = [
"XDG_DATA_HOME=$(out)/share"
"UUID=${passthru.extensionUuid}"
];
preFixup = ''
shellExtension="$out/share/gnome-shell/extensions/${passthru.extensionUuid}"
chmod +x $shellExtension/*/main.js
for file in $shellExtension/*/main.js; do
substituteInPlace "$file" --replace "#!/usr/bin/gjs" "#!${gjs}/bin/gjs"
done
'';
postInstall = ''
# TODO: Uncomment once custom gsettings works.
# Unfortunately custom gsettings seems to be not properly integrated with NixOS yet.
#
# For more information, please track the following issue:
# https://github.com/NixOS/nixpkgs/issues/92265
#
# It also contains additional links to related issues and whatnot.
#install -Dm644 keybindings/*.xml -t $out/share/gnome-control-center/keybindings
'';
passthru.extensionUuid = "pop-shell@system76.com";
meta = with lib; {
description = "A keyboard-driven layer for GNOME shell";
license = licenses.gpl3Only;
homepage = "https://github.com/pop-os/shell";
platforms = platforms.linux;
};
}