# 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}/pop-shell@system76.com_${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="pop-shell@system76.com" 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 }