gnome-shell-extension-pop-shell-20201016.ebuild

gnome-shell-extension-pop-shell-20201016.ebuild (text/plain), 1.31 KB, created by tuxuser360 on 2020-10-26 12:47:51 UTC

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

# This ebuild requires globally installed npm package: typescript

EAPI=7
inherit gnome2-utils

if [[ ${PV} == "9999" ]]; then
        EGIT_REPO_URI="https://github.com/pop-os/shell.git"
        inherit git-r3
else
        COMMIT="a11d3c34db01987bb716b8b127b2b889130a4fc1"
        SRC_URI="https://github.com/pop-os/shell/archive/${COMMIT}.tar.gz -> ${P}.tar.gz"
        S="${WORKDIR}/shell-${COMMIT}"
fi

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="virtual/pkgconfig"

src_install() {
        default

        insinto /usr/share/gnome-shell/extensions/[e-mail]
        doins scripts/configure.sh
}

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

	elog "For pop-shell keybinding overrides you want to execute the "
	elog "configure.sh script that resides in "
        elog "/usr/share/gnome-shell/extensions/[e-mail]"
}