blob: 6184517121464eda4a1307775228c7c09c13056a (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
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 $?
}
|
