diff options
author | Katona László <muoniurn@gmail.com> | 2017-12-29 18:20:39 +0100 |
---|---|---|
committer | Katona László <muoniurn@gmail.com> | 2017-12-29 20:23:08 +0100 |
commit | 19175d4f7b4c209c2f6ba03e32bf01b64cb4cecb (patch) | |
tree | 2a923ee704de9e9bd5c4f306171ef66c711a0f68 /pkgs/desktops | |
parent | 40a3d775a5887ccc944d009032f70f0dd2b891f7 (diff) |
dash-to-panel: init at v11
Diffstat (limited to 'pkgs/desktops')
-rw-r--r-- | pkgs/desktops/gnome-3/extensions/dash-to-panel/default.nix | 26 |
1 files changed, 26 insertions, 0 deletions
diff --git a/pkgs/desktops/gnome-3/extensions/dash-to-panel/default.nix b/pkgs/desktops/gnome-3/extensions/dash-to-panel/default.nix new file mode 100644 index 0000000000000..3baedbf0c594f --- /dev/null +++ b/pkgs/desktops/gnome-3/extensions/dash-to-panel/default.nix @@ -0,0 +1,26 @@ +{ stdenv, fetchFromGitHub, glib, gettext }: + +stdenv.mkDerivation rec { + name = "gnome-shell-dash-to-panel-${version}"; + version = "11"; + + src = fetchFromGitHub { + owner = "jderose9"; + repo = "dash-to-panel"; + rev = "v${version}"; + sha256 = "1bfcnrhw6w8yrz8sw520kwwshmplkg4awpvz07kg4d73m6zn4mw2"; + }; + + buildInputs = [ + glib gettext + ]; + + makeFlags = [ "INSTALLBASE=$(out)/share/gnome-shell/extensions" ]; + + meta = with stdenv.lib; { + description = "An icon taskbar for Gnome Shell"; + license = licenses.gpl2; + maintainers = with maintainers; [ mounium ]; + homepage = https://github.com/jderose9/dash-to-panel; + }; +} |