diff --git a/pkgs/desktops/gnome-3/extensions/pixel-saver/default.nix b/pkgs/desktops/gnome-3/extensions/pixel-saver/default.nix deleted file mode 100644 index ccc3fd578e9..00000000000 --- a/pkgs/desktops/gnome-3/extensions/pixel-saver/default.nix +++ /dev/null @@ -1,28 +0,0 @@ -{ stdenv, fetchFromGitHub }: - -stdenv.mkDerivation rec { - name = "gnome-shell-extension-pixel-saver-${version}"; - version = "1.10"; - - src = fetchFromGitHub { - owner = "deadalnix"; - repo = "pixel-saver"; - rev = version; - sha256 = "040ayzhpv9jq49vp32w85wvjs57047faa7872qm4brii450iy7v4"; - }; - - uuid = "pixel-saver@deadalnix.me"; - - installPhase = '' - mkdir -p $out/share/gnome-shell/extensions - cp -r ${uuid} $out/share/gnome-shell/extensions - ''; - - meta = with stdenv.lib; { - description = "Pixel Saver is designed to save pixel by fusing activity bar and title bar in a natural way"; - license = licenses.mit; - maintainers = with maintainers; [ jonafato ]; - platforms = platforms.linux; - homepage = https://github.com/deadalnix/pixel-saver; - }; -} diff --git a/pkgs/top-level/all-packages.nix b/pkgs/top-level/all-packages.nix index ef4fb974f99..dcbdff9b534 100644 --- a/pkgs/top-level/all-packages.nix +++ b/pkgs/top-level/all-packages.nix @@ -19191,7 +19191,6 @@ with pkgs; mediaplayer = callPackage ../desktops/gnome-3/extensions/mediaplayer { }; nohotcorner = callPackage ../desktops/gnome-3/extensions/nohotcorner { }; no-title-bar = callPackage ../desktops/gnome-3/extensions/no-title-bar { }; - pixel-saver = callPackage ../desktops/gnome-3/extensions/pixel-saver { }; remove-dropdown-arrows = callPackage ../desktops/gnome-3/extensions/remove-dropdown-arrows { }; taskwhisperer = callPackage ../desktops/gnome-3/extensions/taskwhisperer { }; topicons-plus = callPackage ../desktops/gnome-3/extensions/topicons-plus { };