Skip to content

Instantly share code, notes, and snippets.

Show Gist options
  • Save tuxuser/a2a210da9d6115da5620b8c570e96ca6 to your computer and use it in GitHub Desktop.
Save tuxuser/a2a210da9d6115da5620b8c570e96ca6 to your computer and use it in GitHub Desktop.
Gentoo Pop Shell ebuild
# 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/pop-shell@system76.com
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/pop-shell@system76.com"
}
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment