1 |
commit: e3e3840159997deb380a2111263df876cf73c3d0 |
2 |
Author: Georgy Yakovlev <gyakovlev <AT> gentoo <DOT> org> |
3 |
AuthorDate: Wed Jul 28 10:46:14 2021 +0000 |
4 |
Commit: Georgy Yakovlev <gyakovlev <AT> gentoo <DOT> org> |
5 |
CommitDate: Wed Jul 28 16:17:50 2021 +0000 |
6 |
URL: https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=e3e38401 |
7 |
|
8 |
gnome-extra/gnome-shell-extension-pop-shell: add 1.2.0_p20210727 |
9 |
|
10 |
Signed-off-by: Georgy Yakovlev <gyakovlev <AT> gentoo.org> |
11 |
|
12 |
.../gnome-shell-extension-pop-shell/Manifest | 1 + |
13 |
...hell-extension-pop-shell-1.2.0_p20210727.ebuild | 62 ++++++++++++++++++++++ |
14 |
2 files changed, 63 insertions(+) |
15 |
|
16 |
diff --git a/gnome-extra/gnome-shell-extension-pop-shell/Manifest b/gnome-extra/gnome-shell-extension-pop-shell/Manifest |
17 |
index 50d536ce905..50817670778 100644 |
18 |
--- a/gnome-extra/gnome-shell-extension-pop-shell/Manifest |
19 |
+++ b/gnome-extra/gnome-shell-extension-pop-shell/Manifest |
20 |
@@ -1 +1,2 @@ |
21 |
DIST gnome-shell-extension-pop-shell-1.2.0_p20210603.tar.gz 1018667 BLAKE2B d09becddcab7f24b8efcdb8a6c3b9a121de1654d54c792865e28a08412feeb58d3bbd7698811b840eb7873d3ca7854469f96d1b43bc806b2b3e680b2493beffe SHA512 72cb8a71560d97c92a44d988e8eb0293012565d4eea7b49d6d83be6b844f182db22c7c9d41e68ea3fd272ef7f8b88d97afbce3f867e899e162032507be082a40 |
22 |
+DIST gnome-shell-extension-pop-shell-1.2.0_p20210727.tar.gz 1025387 BLAKE2B b25c3af33c6549d08e68de2971090dc74f4bdd719889bcd7397b38a9b275792fb6bdfed9e3baaa7a2c45074baf9c64c31d365809332f689f31c23b2e755793df SHA512 8a3ec6999a2b4ab9ffb67ec87e05482c489acc82ce0bd1a76e17e2ed2e4b8acc2ea22974c9363e1af7a9ec03409fe933109b2451c9be21a541f9dede32d48753 |
23 |
|
24 |
diff --git a/gnome-extra/gnome-shell-extension-pop-shell/gnome-shell-extension-pop-shell-1.2.0_p20210727.ebuild b/gnome-extra/gnome-shell-extension-pop-shell/gnome-shell-extension-pop-shell-1.2.0_p20210727.ebuild |
25 |
new file mode 100644 |
26 |
index 00000000000..766eae9872f |
27 |
--- /dev/null |
28 |
+++ b/gnome-extra/gnome-shell-extension-pop-shell/gnome-shell-extension-pop-shell-1.2.0_p20210727.ebuild |
29 |
@@ -0,0 +1,62 @@ |
30 |
+# Copyright 1999-2021 Gentoo Authors |
31 |
+# Distributed under the terms of the GNU General Public License v2 |
32 |
+ |
33 |
+EAPI=7 |
34 |
+ |
35 |
+inherit gnome2-utils optfeature |
36 |
+ |
37 |
+EGIT_COMMIT=475b49dc02386e26fbe6b91a559c77515d96caaf |
38 |
+ |
39 |
+DESCRIPTION="Keyboard-driven layer for GNOME Shell with tiling support" |
40 |
+HOMEPAGE="https://github.com/pop-os/shell" |
41 |
+SRC_URI="https://github.com/pop-os/shell/archive/${EGIT_COMMIT}.tar.gz -> ${P}.tar.gz" |
42 |
+ |
43 |
+LICENSE="GPL-3" |
44 |
+SLOT="0" |
45 |
+KEYWORDS="~amd64 ~ppc64" |
46 |
+IUSE="" |
47 |
+ |
48 |
+RDEPEND=" |
49 |
+ app-eselect/eselect-gnome-shell-extensions |
50 |
+ >=gnome-base/gnome-shell-40.1 |
51 |
+ sys-apps/fd |
52 |
+" |
53 |
+ |
54 |
+BDEPEND="dev-lang/typescript" |
55 |
+ |
56 |
+S="${WORKDIR}/shell-${EGIT_COMMIT}" |
57 |
+ |
58 |
+src_install() { |
59 |
+ default |
60 |
+ |
61 |
+ insinto /usr/share/glib-2.0/schemas |
62 |
+ doins schemas/org.gnome.shell.extensions.pop-shell.gschema.xml |
63 |
+ |
64 |
+ exeinto /usr/lib/pop-shell/scripts |
65 |
+ doexe scripts/configure.sh |
66 |
+ |
67 |
+ insinto /usr/share/gnome-control-center/keybindings |
68 |
+ doins keybindings/*.xml |
69 |
+} |
70 |
+ |
71 |
+pkg_postinst() { |
72 |
+ ebegin "Updating list of installed extensions" |
73 |
+ eselect gnome-shell-extensions update |
74 |
+ eend $? |
75 |
+ |
76 |
+ gnome2_schemas_update |
77 |
+ |
78 |
+ echo |
79 |
+ elog "To configure keybindings run /usr/lib/pop-shell/scripts/configure.sh as user" |
80 |
+ echo |
81 |
+ |
82 |
+ optfeature gnome-extra/gnome-shell-extensions "better tiling via native-window-placement" |
83 |
+} |
84 |
+ |
85 |
+pkg_postinst() { |
86 |
+ ebegin "Updating list of installed extensions" |
87 |
+ eselect gnome-shell-extensions update |
88 |
+ eend $? |
89 |
+ |
90 |
+ gnome2_schemas_update |
91 |
+} |