summaryrefslogtreecommitdiff
path: root/gnome-extra/gnome-shell-extension-pop-shell
diff options
context:
space:
mode:
authorV3n3RiX <venerix@redcorelinux.org>2021-06-15 14:57:03 +0100
committerV3n3RiX <venerix@redcorelinux.org>2021-06-15 14:57:03 +0100
commitd18bf1e01b65ee4bf0c804e2843b282d3d4e5d7c (patch)
tree4a95cbc6ffdf13bad6ecbc7f8d5af99631984123 /gnome-extra/gnome-shell-extension-pop-shell
parente748ba9741f6540f4675c23e3e37b73e822c13a4 (diff)
gentoo resync : 15.06.2021
Diffstat (limited to 'gnome-extra/gnome-shell-extension-pop-shell')
-rw-r--r--gnome-extra/gnome-shell-extension-pop-shell/Manifest3
-rw-r--r--gnome-extra/gnome-shell-extension-pop-shell/gnome-shell-extension-pop-shell-1.2.0_p20210603.ebuild62
-rw-r--r--gnome-extra/gnome-shell-extension-pop-shell/metadata.xml12
3 files changed, 77 insertions, 0 deletions
diff --git a/gnome-extra/gnome-shell-extension-pop-shell/Manifest b/gnome-extra/gnome-shell-extension-pop-shell/Manifest
new file mode 100644
index 000000000000..f1badc98daa7
--- /dev/null
+++ b/gnome-extra/gnome-shell-extension-pop-shell/Manifest
@@ -0,0 +1,3 @@
+DIST gnome-shell-extension-pop-shell-1.2.0_p20210603.tar.gz 1018667 BLAKE2B d09becddcab7f24b8efcdb8a6c3b9a121de1654d54c792865e28a08412feeb58d3bbd7698811b840eb7873d3ca7854469f96d1b43bc806b2b3e680b2493beffe SHA512 72cb8a71560d97c92a44d988e8eb0293012565d4eea7b49d6d83be6b844f182db22c7c9d41e68ea3fd272ef7f8b88d97afbce3f867e899e162032507be082a40
+EBUILD gnome-shell-extension-pop-shell-1.2.0_p20210603.ebuild 1366 BLAKE2B 3a693d9bbe2bc3898950a695d19d5fe5a3d4f520f91d559cf1cfb5613bd529f774f169eaf2383a9bc37a5387928dd7345daca1bb52a91006825d8a21961139ca SHA512 d5898912558ca91df564886faba346e27ac76e99a19292516906d1991f3b70fd5de50978561f5f8b07472866599c1fe779ba8e463deb825f1dfa6b5b36d1d27d
+MISC metadata.xml 352 BLAKE2B f4da02dd27aea654c318c70d46b78655eb52554425b3a5ce137228860514177376419deac645ab945e5ea98fb386e8619e1dc29f801f3c0667e413763d58e5f6 SHA512 187cfbf61182c405799d32555c76759b25168f3806e2b0b48ab497b879f99fce89cd6cb988bb22c263a8ab551eba42ba57535371c7006c3ee05b2fdbe55818eb
diff --git a/gnome-extra/gnome-shell-extension-pop-shell/gnome-shell-extension-pop-shell-1.2.0_p20210603.ebuild b/gnome-extra/gnome-shell-extension-pop-shell/gnome-shell-extension-pop-shell-1.2.0_p20210603.ebuild
new file mode 100644
index 000000000000..3a9c7f3ff47a
--- /dev/null
+++ b/gnome-extra/gnome-shell-extension-pop-shell/gnome-shell-extension-pop-shell-1.2.0_p20210603.ebuild
@@ -0,0 +1,62 @@
+# Copyright 1999-2021 Gentoo Authors
+# Distributed under the terms of the GNU General Public License v2
+
+EAPI=7
+
+inherit gnome2-utils optfeature
+
+EGIT_COMMIT="f7cbe060e8d293bfe3b0b759032a85773b542645"
+
+DESCRIPTION="Keyboard-driven layer for GNOME Shell with tiling support"
+HOMEPAGE="https://github.com/pop-os/shell"
+SRC_URI="https://github.com/pop-os/shell/archive/${EGIT_COMMIT}.tar.gz -> ${P}.tar.gz"
+
+LICENSE="GPL-3"
+SLOT="0"
+KEYWORDS="~amd64 ~ppc64"
+IUSE=""
+
+RDEPEND="
+ app-eselect/eselect-gnome-shell-extensions
+ >=gnome-base/gnome-shell-40.1
+"
+
+DEPEND=""
+BDEPEND="dev-lang/typescript"
+
+S="${WORKDIR}/shell-${EGIT_COMMIT}"
+
+src_install() {
+ default
+
+ insinto /usr/share/glib-2.0/schemas
+ doins schemas/org.gnome.shell.extensions.pop-shell.gschema.xml
+
+ exeinto /usr/lib/pop-shell/scripts
+ doexe scripts/configure.sh
+
+ insinto /usr/share/gnome-control-center/keybindings
+ doins keybindings/*.xml
+}
+
+pkg_postinst() {
+ ebegin "Updating list of installed extensions"
+ eselect gnome-shell-extensions update
+ eend $?
+
+ gnome2_schemas_update
+
+ echo
+ einfo "To configure keybindings run /usr/lib/pop-shell/scripts/configure.sh"
+ echo
+
+ optfeature gnome-extra/gnome-shell-extensions "better tiling via native-window-placement"
+}
+
+pkg_postinst() {
+ ebegin "Updating list of installed extensions"
+ eselect gnome-shell-extensions update
+ eend $?
+
+ gnome2_schemas_update
+}
diff --git a/gnome-extra/gnome-shell-extension-pop-shell/metadata.xml b/gnome-extra/gnome-shell-extension-pop-shell/metadata.xml
new file mode 100644
index 000000000000..89f0ba8679cb
--- /dev/null
+++ b/gnome-extra/gnome-shell-extension-pop-shell/metadata.xml
@@ -0,0 +1,12 @@
+<?xml version="1.0" encoding="UTF-8"?>
+<!DOCTYPE pkgmetadata SYSTEM "http://www.gentoo.org/dtd/metadata.dtd">
+<pkgmetadata>
+ <maintainer type="person">
+ <email>gyakovlev@gentoo.org</email>
+ <name>Georgy Yakovlev</name>
+ </maintainer>
+ <upstream>
+ <remote-id type="github">pop-os/shell</remote-id>
+ </upstream>
+ <stabilize-allarches/>
+</pkgmetadata>