summaryrefslogtreecommitdiff
path: root/gnome-extra/gnome-shell-windowlist
diff options
context:
space:
mode:
Diffstat (limited to 'gnome-extra/gnome-shell-windowlist')
-rw-r--r--gnome-extra/gnome-shell-windowlist/gnome-shell-windowlist-20120121.ebuild35
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 $?
-}