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, 0 insertions, 35 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 deleted file mode 100644 index a730903e..00000000 --- a/gnome-extra/gnome-shell-windowlist/gnome-shell-windowlist-20120121.ebuild +++ /dev/null @@ -1,35 +0,0 @@ -# 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-eselect/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 $? -} |