diff options
Diffstat (limited to 'gnome-extra/gnome-shell-windowlist')
-rw-r--r-- | gnome-extra/gnome-shell-windowlist/gnome-shell-windowlist-20120121.ebuild | 35 |
1 files changed, 35 insertions, 0 deletions
diff --git a/gnome-extra/gnome-shell-windowlist/gnome-shell-windowlist-20120121.ebuild b/gnome-extra/gnome-shell-windowlist/gnome-shell-windowlist-20120121.ebuild new file mode 100644 index 00000000..61845171 --- /dev/null +++ b/gnome-extra/gnome-shell-windowlist/gnome-shell-windowlist-20120121.ebuild @@ -0,0 +1,35 @@ +# Copyright 1999-2012 Gentoo Foundation +# Distributed under the terms of the GNU General Public License v2 +# $Header: $ + +EAPI="4" + +EGIT_REPO_URI="git://github.com/siefkenj/gnome-shell-windowlist.git" +EGIT_COMMIT="7ede91868efd5d75ce98065416acedf029041e33" + +inherit git-2 + +DESCRIPTION="Adds a window switcher to the top bar of gnome-shell" +HOMEPAGE="https://extensions.gnome.org/extension/25/window-list/" +SRC_URI="" + +LICENSE="GPL-2" +SLOT="0" +KEYWORDS="~amd64 ~arm ~x86" +IUSE="" + +RDEPEND="app-admin/eselect-gnome-shell-extensions + gnome-base/gnome-shell" +DEPEND="" + +src_install() { + insinto /usr/share/gnome-shell/extensions + doins -r ./*@* + dodoc README +} + +pkg_postinst() { + ebegin "Updating list of installed extensions" + eselect gnome-shell-extensions update + eend $? +} |