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 /pkgs/desktops | |
| parent | 9f16756f77ae7d6b51be6ae5cbb61c5c50d6edf5 (diff) | |
| download | nixpkgs-d48e704e38bc05d92b48ca47c1b4f669047a5f71.tar nixpkgs-d48e704e38bc05d92b48ca47c1b4f669047a5f71.tar.gz nixpkgs-d48e704e38bc05d92b48ca47c1b4f669047a5f71.tar.bz2 nixpkgs-d48e704e38bc05d92b48ca47c1b4f669047a5f71.tar.lz nixpkgs-d48e704e38bc05d92b48ca47c1b4f669047a5f71.tar.xz nixpkgs-d48e704e38bc05d92b48ca47c1b4f669047a5f71.tar.zst nixpkgs-d48e704e38bc05d92b48ca47c1b4f669047a5f71.zip | |
gnome-shell-extension-pixel-saver: init at 1.10
Diffstat (limited to 'pkgs/desktops')
| -rw-r--r-- | pkgs/desktops/gnome-3/extensions/pixel-saver/default.nix | 28 |
1 files changed, 28 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 00000000000..ccc3fd578e9 --- /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; + }; +} |