diff options
| author | Emanuele Peruffo <emanuele.peruffo@gmail.com> | 2017-07-04 18:56:06 +0200 |
|---|---|---|
| committer | Jörg Thalheim <Mic92@users.noreply.github.com> | 2017-07-04 17:56:06 +0100 |
| commit | 240b632026e6a76cf5d84146c80d5f07c22b1f2d (patch) | |
| tree | 18f6dc56f7e82d5a1a8cdd46ff445e37437e5e78 /pkgs/desktops | |
| parent | 756dce19a122a3d87f4511ee7dce435873da76eb (diff) | |
| download | nixlib-240b632026e6a76cf5d84146c80d5f07c22b1f2d.tar nixlib-240b632026e6a76cf5d84146c80d5f07c22b1f2d.tar.gz nixlib-240b632026e6a76cf5d84146c80d5f07c22b1f2d.tar.bz2 nixlib-240b632026e6a76cf5d84146c80d5f07c22b1f2d.tar.lz nixlib-240b632026e6a76cf5d84146c80d5f07c22b1f2d.tar.xz nixlib-240b632026e6a76cf5d84146c80d5f07c22b1f2d.tar.zst nixlib-240b632026e6a76cf5d84146c80d5f07c22b1f2d.zip | |
gnomeExtensions.topicons-plus: init at v20 (#27116)
TopIcons extension for Gnome 3
Diffstat (limited to 'pkgs/desktops')
| -rw-r--r-- | pkgs/desktops/gnome-3/extensions/topicons-plus/default.nix | 26 |
1 files changed, 26 insertions, 0 deletions
diff --git a/pkgs/desktops/gnome-3/extensions/topicons-plus/default.nix b/pkgs/desktops/gnome-3/extensions/topicons-plus/default.nix new file mode 100644 index 000000000000..4612c35ad250 --- /dev/null +++ b/pkgs/desktops/gnome-3/extensions/topicons-plus/default.nix @@ -0,0 +1,26 @@ +{ stdenv, fetchFromGitHub, glib, gettext, bash }: + +stdenv.mkDerivation rec { + name = "gnome-shell-extension-topicons-plus-${version}"; + version = "v20"; + + src = fetchFromGitHub { + owner = "phocean"; + repo = "TopIcons-plus"; + rev = "01535328bd43ecb3f2c71376de6fc8d1d8a88577"; + sha256 = "0pwpg72ihgj2jl9pg63y0hibdsl27srr3mab881w0gh17vwyixzi"; + }; + + buildInputs = [ glib ]; + + nativeBuildInputs = [ gettext ]; + + makeFlags = [ "INSTALL_PATH=$(out)/share/gnome-shell/extensions" ]; + + meta = with stdenv.lib; { + description = "Brings all icons back to the top panel, so that it's easier to keep track of apps running in the backround"; + license = licenses.gpl2; + maintainers = with maintainers; [ eperuffo ]; + homepage = https://github.com/phocean/TopIcons-plus; + }; +} |