Merge pull request #34185 from jonafato/gnome-shell-extension-pixel-saver

gnome-shell-extension-pixel-saver: init at 1.10

pkgs/desktops/gnome-3/extensions/pixel-saver/default.nix

···
+{ 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 = "[e-mail]";
+
+  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;
+  };
+}

pkgs/top-level/all-packages.nix

···
     dash-to-panel = callPackage ../desktops/gnome-3/extensions/dash-to-panel { };
     mediaplayer = callPackage ../desktops/gnome-3/extensions/mediaplayer { };
     nohotcorner = callPackage ../desktops/gnome-3/extensions/nohotcorner { };
+    pixel-saver = callPackage ../desktops/gnome-3/extensions/pixel-saver { };
     topicons-plus = callPackage ../desktops/gnome-3/extensions/topicons-plus { };
   };