gnome-shell-extension-pop-shell-1.0.0.ebuild

file_751331.txt (text/plain), 1.02 KB, created by tuxuser360 on 2020-10-30 11:38:23 UTC

# Copyright 1999-2020 Gentoo Authors
# Distributed under the terms of the GNU General Public License v2

EAPI=7
inherit gnome2-utils

SRC_URI="https://github.com/pop-os/shell/releases/download/${PV}/[e-mail]_${PV}.zip -> ${P}.zip"

DESCRIPTION="Pop Shell is a tiling window manager for GNOME"
HOMEPAGE="https://github.com/pop-os/shell"

LICENSE="GPL-3"
SLOT="0"
KEYWORDS="~amd64 ~arm ~x86"
IUSE=""

COMMON_DEPEND="dev-libs/glib:2"


RDEPEND="${COMMON_DEPEND}
        app-eselect/eselect-gnome-shell-extensions
        =gnome-base/gnome-shell-3.36*
"
DEPEND="${COMMON_DEPEND}"
BDEPEND=""
S="${WORKDIR}"

extension_uuid="[e-mail]"

src_install() {
        insinto /usr/share/gnome-shell/extensions/${extension_uuid}
	doins -r *
}

pkg_preinst() {
	gnome2_schemas_savelist
}

pkg_postinst() {
        gnome2_schemas_update
        ebegin "Updating list of installed extensions"
        eselect gnome-shell-extensions update
	eend $?
}

pkg_postrm() {
	gnome2_schemas_update
}