diff options
| author | Jon Banafato <jon@jonafato.com> | 2018-01-23 00:37:45 -0500 |
|---|---|---|
| committer | Jon Banafato <jon@jonafato.com> | 2018-01-23 21:17:19 -0500 |
| commit | d48e704e38bc05d92b48ca47c1b4f669047a5f71 (patch) | |
| tree | 9ade99cd79dbe18a6acd0efce0c9b30e4f034c95 | |
| parent | 9f16756f77ae7d6b51be6ae5cbb61c5c50d6edf5 (diff) | |
| download | nixlib-d48e704e38bc05d92b48ca47c1b4f669047a5f71.tar nixlib-d48e704e38bc05d92b48ca47c1b4f669047a5f71.tar.gz nixlib-d48e704e38bc05d92b48ca47c1b4f669047a5f71.tar.bz2 nixlib-d48e704e38bc05d92b48ca47c1b4f669047a5f71.tar.lz nixlib-d48e704e38bc05d92b48ca47c1b4f669047a5f71.tar.xz nixlib-d48e704e38bc05d92b48ca47c1b4f669047a5f71.tar.zst nixlib-d48e704e38bc05d92b48ca47c1b4f669047a5f71.zip | |
gnome-shell-extension-pixel-saver: init at 1.10
| -rw-r--r-- | pkgs/desktops/gnome-3/extensions/pixel-saver/default.nix | 28 | ||||
| -rw-r--r-- | pkgs/top-level/all-packages.nix | 1 |
2 files changed, 29 insertions, 0 deletions
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 { }; }; |