diff --git a/pkgs/desktops/gnome-3/extensions/pixel-saver/default.nix b/pkgs/desktops/gnome-3/extensions/pixel-saver/default.nix new file mode 100644 index 000000000000..ccc3fd578e94 --- /dev/null +++ b/pkgs/desktops/gnome-3/extensions/pixel-saver/default.nix @@ -0,0 +1,28 @@ +{ 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 0b24c98499cb..4b3a5223f10e 100644 --- a/pkgs/top-level/all-packages.nix +++ b/pkgs/top-level/all-packages.nix @@ -18815,6 +18815,7 @@ with pkgs; 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 { }; };