* [gentoo-commits] repo/gentoo:master commit in: gnome-extra/gnome-shell-extension-pop-shell/
@ 2021-06-04 6:20 Georgy Yakovlev
0 siblings, 0 replies; 10+ messages in thread
From: Georgy Yakovlev @ 2021-06-04 6:20 UTC (permalink / raw
To: gentoo-commits
commit: 103b483972b7c6fd4e6dd1aa2f1768bfd99693b9
Author: Georgy Yakovlev <gyakovlev <AT> gentoo <DOT> org>
AuthorDate: Fri Jun 4 06:15:47 2021 +0000
Commit: Georgy Yakovlev <gyakovlev <AT> gentoo <DOT> org>
CommitDate: Fri Jun 4 06:20:09 2021 +0000
URL: https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=103b4839
gnome-extra/gnome-shell-extension-pop-shell: initial import
Signed-off-by: Georgy Yakovlev <gyakovlev <AT> gentoo.org>
.../gnome-shell-extension-pop-shell/Manifest | 1 +
...hell-extension-pop-shell-1.2.0_p20210603.ebuild | 62 ++++++++++++++++++++++
.../gnome-shell-extension-pop-shell/metadata.xml | 12 +++++
3 files changed, 75 insertions(+)
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 00000000000..50d536ce905
--- /dev/null
+++ b/gnome-extra/gnome-shell-extension-pop-shell/Manifest
@@ -0,0 +1 @@
+DIST gnome-shell-extension-pop-shell-1.2.0_p20210603.tar.gz 1018667 BLAKE2B d09becddcab7f24b8efcdb8a6c3b9a121de1654d54c792865e28a08412feeb58d3bbd7698811b840eb7873d3ca7854469f96d1b43bc806b2b3e680b2493beffe SHA512 72cb8a71560d97c92a44d988e8eb0293012565d4eea7b49d6d83be6b844f182db22c7c9d41e68ea3fd272ef7f8b88d97afbce3f867e899e162032507be082a40
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 00000000000..3a9c7f3ff47
--- /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 00000000000..89f0ba8679c
--- /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>
^ permalink raw reply related [flat|nested] 10+ messages in thread
* [gentoo-commits] repo/gentoo:master commit in: gnome-extra/gnome-shell-extension-pop-shell/
@ 2021-07-28 16:18 Georgy Yakovlev
0 siblings, 0 replies; 10+ messages in thread
From: Georgy Yakovlev @ 2021-07-28 16:18 UTC (permalink / raw
To: gentoo-commits
commit: 91b0f4260f732f7649d907af110f62667390f2b6
Author: Georgy Yakovlev <gyakovlev <AT> gentoo <DOT> org>
AuthorDate: Wed Jul 28 10:47:53 2021 +0000
Commit: Georgy Yakovlev <gyakovlev <AT> gentoo <DOT> org>
CommitDate: Wed Jul 28 16:17:55 2021 +0000
URL: https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=91b0f426
gnome-extra/gnome-shell-extension-pop-shell: fix copyright years
Signed-off-by: Georgy Yakovlev <gyakovlev <AT> gentoo.org>
.../gnome-shell-extension-pop-shell-1.2.0_p20210603.ebuild | 2 +-
.../gnome-shell-extension-pop-shell-1.2.0_p20210727.ebuild | 2 +-
2 files changed, 2 insertions(+), 2 deletions(-)
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
index 3a9c7f3ff47..24e32f5e37a 100644
--- 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
@@ -1,4 +1,4 @@
-# Copyright 1999-2021 Gentoo Authors
+# Copyright 2021 Gentoo Authors
# Distributed under the terms of the GNU General Public License v2
EAPI=7
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
index 766eae9872f..5d7561746a4 100644
--- 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
@@ -1,4 +1,4 @@
-# Copyright 1999-2021 Gentoo Authors
+# Copyright 2021 Gentoo Authors
# Distributed under the terms of the GNU General Public License v2
EAPI=7
^ permalink raw reply related [flat|nested] 10+ messages in thread
* [gentoo-commits] repo/gentoo:master commit in: gnome-extra/gnome-shell-extension-pop-shell/
@ 2021-07-28 16:18 Georgy Yakovlev
0 siblings, 0 replies; 10+ messages in thread
From: Georgy Yakovlev @ 2021-07-28 16:18 UTC (permalink / raw
To: gentoo-commits
commit: e3e3840159997deb380a2111263df876cf73c3d0
Author: Georgy Yakovlev <gyakovlev <AT> gentoo <DOT> org>
AuthorDate: Wed Jul 28 10:46:14 2021 +0000
Commit: Georgy Yakovlev <gyakovlev <AT> gentoo <DOT> org>
CommitDate: Wed Jul 28 16:17:50 2021 +0000
URL: https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=e3e38401
gnome-extra/gnome-shell-extension-pop-shell: add 1.2.0_p20210727
Signed-off-by: Georgy Yakovlev <gyakovlev <AT> gentoo.org>
.../gnome-shell-extension-pop-shell/Manifest | 1 +
...hell-extension-pop-shell-1.2.0_p20210727.ebuild | 62 ++++++++++++++++++++++
2 files changed, 63 insertions(+)
diff --git a/gnome-extra/gnome-shell-extension-pop-shell/Manifest b/gnome-extra/gnome-shell-extension-pop-shell/Manifest
index 50d536ce905..50817670778 100644
--- a/gnome-extra/gnome-shell-extension-pop-shell/Manifest
+++ b/gnome-extra/gnome-shell-extension-pop-shell/Manifest
@@ -1 +1,2 @@
DIST gnome-shell-extension-pop-shell-1.2.0_p20210603.tar.gz 1018667 BLAKE2B d09becddcab7f24b8efcdb8a6c3b9a121de1654d54c792865e28a08412feeb58d3bbd7698811b840eb7873d3ca7854469f96d1b43bc806b2b3e680b2493beffe SHA512 72cb8a71560d97c92a44d988e8eb0293012565d4eea7b49d6d83be6b844f182db22c7c9d41e68ea3fd272ef7f8b88d97afbce3f867e899e162032507be082a40
+DIST gnome-shell-extension-pop-shell-1.2.0_p20210727.tar.gz 1025387 BLAKE2B b25c3af33c6549d08e68de2971090dc74f4bdd719889bcd7397b38a9b275792fb6bdfed9e3baaa7a2c45074baf9c64c31d365809332f689f31c23b2e755793df SHA512 8a3ec6999a2b4ab9ffb67ec87e05482c489acc82ce0bd1a76e17e2ed2e4b8acc2ea22974c9363e1af7a9ec03409fe933109b2451c9be21a541f9dede32d48753
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
new file mode 100644
index 00000000000..766eae9872f
--- /dev/null
+++ b/gnome-extra/gnome-shell-extension-pop-shell/gnome-shell-extension-pop-shell-1.2.0_p20210727.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=475b49dc02386e26fbe6b91a559c77515d96caaf
+
+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
+ sys-apps/fd
+"
+
+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
+ elog "To configure keybindings run /usr/lib/pop-shell/scripts/configure.sh as user"
+ 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
+}
^ permalink raw reply related [flat|nested] 10+ messages in thread
* [gentoo-commits] repo/gentoo:master commit in: gnome-extra/gnome-shell-extension-pop-shell/
@ 2022-08-01 2:33 Sam James
0 siblings, 0 replies; 10+ messages in thread
From: Sam James @ 2022-08-01 2:33 UTC (permalink / raw
To: gentoo-commits
commit: b6b16806aa569036e8c49dccd121d7039d9044dc
Author: Sam James <sam <AT> gentoo <DOT> org>
AuthorDate: Mon Aug 1 02:28:52 2022 +0000
Commit: Sam James <sam <AT> gentoo <DOT> org>
CommitDate: Mon Aug 1 02:30:06 2022 +0000
URL: https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=b6b16806
gnome-extra/gnome-shell-extension-pop-shell: [QA] fix duplicate phase (pkg_postinst)
Bug: https://bugs.gentoo.org/861497
Signed-off-by: Sam James <sam <AT> gentoo.org>
...uild => gnome-shell-extension-pop-shell-1.2.0_p20210603-r1.ebuild} | 4 ++--
...uild => gnome-shell-extension-pop-shell-1.2.0_p20210727-r1.ebuild} | 4 ++--
2 files changed, 4 insertions(+), 4 deletions(-)
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-r1.ebuild
similarity index 96%
rename from gnome-extra/gnome-shell-extension-pop-shell/gnome-shell-extension-pop-shell-1.2.0_p20210603.ebuild
rename to gnome-extra/gnome-shell-extension-pop-shell/gnome-shell-extension-pop-shell-1.2.0_p20210603-r1.ebuild
index 24e32f5e37a1..9d93e0234ede 100644
--- 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-r1.ebuild
@@ -1,4 +1,4 @@
-# Copyright 2021 Gentoo Authors
+# Copyright 2021-2022 Gentoo Authors
# Distributed under the terms of the GNU General Public License v2
EAPI=7
@@ -53,7 +53,7 @@ pkg_postinst() {
optfeature gnome-extra/gnome-shell-extensions "better tiling via native-window-placement"
}
-pkg_postinst() {
+pkg_postrm() {
ebegin "Updating list of installed extensions"
eselect gnome-shell-extensions update
eend $?
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-r1.ebuild
similarity index 96%
rename from gnome-extra/gnome-shell-extension-pop-shell/gnome-shell-extension-pop-shell-1.2.0_p20210727.ebuild
rename to gnome-extra/gnome-shell-extension-pop-shell/gnome-shell-extension-pop-shell-1.2.0_p20210727-r1.ebuild
index 5d7561746a4b..f31ee1c0fd0e 100644
--- 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-r1.ebuild
@@ -1,4 +1,4 @@
-# Copyright 2021 Gentoo Authors
+# Copyright 2021-2022 Gentoo Authors
# Distributed under the terms of the GNU General Public License v2
EAPI=7
@@ -53,7 +53,7 @@ pkg_postinst() {
optfeature gnome-extra/gnome-shell-extensions "better tiling via native-window-placement"
}
-pkg_postinst() {
+pkg_postrm() {
ebegin "Updating list of installed extensions"
eselect gnome-shell-extensions update
eend $?
^ permalink raw reply related [flat|nested] 10+ messages in thread
* [gentoo-commits] repo/gentoo:master commit in: gnome-extra/gnome-shell-extension-pop-shell/
@ 2022-09-22 5:02 Georgy Yakovlev
0 siblings, 0 replies; 10+ messages in thread
From: Georgy Yakovlev @ 2022-09-22 5:02 UTC (permalink / raw
To: gentoo-commits
commit: b275442e2a74ee7b172f42910b55f44006485841
Author: Georgy Yakovlev <gyakovlev <AT> gentoo <DOT> org>
AuthorDate: Thu Sep 22 05:00:31 2022 +0000
Commit: Georgy Yakovlev <gyakovlev <AT> gentoo <DOT> org>
CommitDate: Thu Sep 22 05:00:31 2022 +0000
URL: https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=b275442e
gnome-extra/gnome-shell-extension-pop-shell: drop myself as a maintainer
Signed-off-by: Georgy Yakovlev <gyakovlev <AT> gentoo.org>
| 5 +----
1 file changed, 1 insertion(+), 4 deletions(-)
--git a/gnome-extra/gnome-shell-extension-pop-shell/metadata.xml b/gnome-extra/gnome-shell-extension-pop-shell/metadata.xml
index f465f3241b19..3279d0e9f2c1 100644
--- a/gnome-extra/gnome-shell-extension-pop-shell/metadata.xml
+++ b/gnome-extra/gnome-shell-extension-pop-shell/metadata.xml
@@ -1,10 +1,7 @@
<?xml version="1.0" encoding="UTF-8"?>
<!DOCTYPE pkgmetadata SYSTEM "https://www.gentoo.org/dtd/metadata.dtd">
<pkgmetadata>
- <maintainer type="person">
- <email>gyakovlev@gentoo.org</email>
- <name>Georgy Yakovlev</name>
- </maintainer>
+ <!-- maintainer-needed -->
<upstream>
<remote-id type="github">pop-os/shell</remote-id>
</upstream>
^ permalink raw reply related [flat|nested] 10+ messages in thread
* [gentoo-commits] repo/gentoo:master commit in: gnome-extra/gnome-shell-extension-pop-shell/
@ 2022-10-11 13:44 Joonas Niilola
0 siblings, 0 replies; 10+ messages in thread
From: Joonas Niilola @ 2022-10-11 13:44 UTC (permalink / raw
To: gentoo-commits
commit: bc47942a4d8ee0f26606403e17564d6ee92ef46f
Author: Philipp Rösner <rndxelement <AT> protonmail <DOT> com>
AuthorDate: Wed Sep 28 21:27:37 2022 +0000
Commit: Joonas Niilola <juippis <AT> gentoo <DOT> org>
CommitDate: Tue Oct 11 13:44:43 2022 +0000
URL: https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=bc47942a
gnome-extra/gnome-shell-extension-pop-shell: add 1.2.0_p20220928
Signed-off-by: Philipp Rösner <rndxelement <AT> protonmail.com>
Closes: https://github.com/gentoo/gentoo/pull/27520
Signed-off-by: Joonas Niilola <juippis <AT> gentoo.org>
.../gnome-shell-extension-pop-shell/Manifest | 1 +
...hell-extension-pop-shell-1.2.0_p20220928.ebuild | 62 ++++++++++++++++++++++
2 files changed, 63 insertions(+)
diff --git a/gnome-extra/gnome-shell-extension-pop-shell/Manifest b/gnome-extra/gnome-shell-extension-pop-shell/Manifest
index 50817670778f..f2e1e3f30f39 100644
--- a/gnome-extra/gnome-shell-extension-pop-shell/Manifest
+++ b/gnome-extra/gnome-shell-extension-pop-shell/Manifest
@@ -1,2 +1,3 @@
DIST gnome-shell-extension-pop-shell-1.2.0_p20210603.tar.gz 1018667 BLAKE2B d09becddcab7f24b8efcdb8a6c3b9a121de1654d54c792865e28a08412feeb58d3bbd7698811b840eb7873d3ca7854469f96d1b43bc806b2b3e680b2493beffe SHA512 72cb8a71560d97c92a44d988e8eb0293012565d4eea7b49d6d83be6b844f182db22c7c9d41e68ea3fd272ef7f8b88d97afbce3f867e899e162032507be082a40
DIST gnome-shell-extension-pop-shell-1.2.0_p20210727.tar.gz 1025387 BLAKE2B b25c3af33c6549d08e68de2971090dc74f4bdd719889bcd7397b38a9b275792fb6bdfed9e3baaa7a2c45074baf9c64c31d365809332f689f31c23b2e755793df SHA512 8a3ec6999a2b4ab9ffb67ec87e05482c489acc82ce0bd1a76e17e2ed2e4b8acc2ea22974c9363e1af7a9ec03409fe933109b2451c9be21a541f9dede32d48753
+DIST gnome-shell-extension-pop-shell-1.2.0_p20220928.tar.gz 862942 BLAKE2B f692184bfb19571322fc8c8364182e69a2ac3f21b8f3657362ec387539659f7109413e9459ef5766ac7fc334ee56cee49c588d18a3e9701cc104beefb6eb0c4f SHA512 aecf8b8e3089bc1e1cc62ca0095705223dc3fcb7f30eab39166d39678037ca81076cf46960a27cfcb245bc540fe26ba0b3332747b9a41ad63e4f0ed50b8cf609
diff --git a/gnome-extra/gnome-shell-extension-pop-shell/gnome-shell-extension-pop-shell-1.2.0_p20220928.ebuild b/gnome-extra/gnome-shell-extension-pop-shell/gnome-shell-extension-pop-shell-1.2.0_p20220928.ebuild
new file mode 100644
index 000000000000..92adee89c5f0
--- /dev/null
+++ b/gnome-extra/gnome-shell-extension-pop-shell/gnome-shell-extension-pop-shell-1.2.0_p20220928.ebuild
@@ -0,0 +1,62 @@
+# Copyright 2021-2022 Gentoo Authors
+# Distributed under the terms of the GNU General Public License v2
+
+EAPI=8
+
+inherit gnome2-utils optfeature
+
+EGIT_COMMIT=f0e9232164132396de5cbca60dd2cba0bea2916f
+
+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
+ sys-apps/fd
+"
+
+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
+ elog "To configure keybindings run /usr/lib/pop-shell/scripts/configure.sh as user"
+ echo
+
+ optfeature "better tiling via native-window-placement" gnome-extra/gnome-shell-extensions
+}
+
+pkg_postrm() {
+ ebegin "Updating list of installed extensions"
+ eselect gnome-shell-extensions update
+ eend $?
+
+ gnome2_schemas_update
+}
^ permalink raw reply related [flat|nested] 10+ messages in thread
* [gentoo-commits] repo/gentoo:master commit in: gnome-extra/gnome-shell-extension-pop-shell/
@ 2023-07-21 7:54 Joonas Niilola
0 siblings, 0 replies; 10+ messages in thread
From: Joonas Niilola @ 2023-07-21 7:54 UTC (permalink / raw
To: gentoo-commits
commit: 3e4970923ed365d43e74971452de68db1bb2b9a0
Author: Philipp Rösner <rndxelement <AT> protonmail <DOT> com>
AuthorDate: Mon Jun 26 15:17:54 2023 +0000
Commit: Joonas Niilola <juippis <AT> gentoo <DOT> org>
CommitDate: Fri Jul 21 07:52:05 2023 +0000
URL: https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=3e497092
gnome-extra/gnome-shell-extension-pop-shell: add 1.2.0_p20230626
Signed-off-by: Philipp Rösner <rndxelement <AT> protonmail.com>
Signed-off-by: Joonas Niilola <juippis <AT> gentoo.org>
.../gnome-shell-extension-pop-shell/Manifest | 1 +
...hell-extension-pop-shell-1.2.0_p20230626.ebuild | 62 ++++++++++++++++++++++
2 files changed, 63 insertions(+)
diff --git a/gnome-extra/gnome-shell-extension-pop-shell/Manifest b/gnome-extra/gnome-shell-extension-pop-shell/Manifest
index f2e1e3f30f39..93abd6c8b11b 100644
--- a/gnome-extra/gnome-shell-extension-pop-shell/Manifest
+++ b/gnome-extra/gnome-shell-extension-pop-shell/Manifest
@@ -1,3 +1,4 @@
DIST gnome-shell-extension-pop-shell-1.2.0_p20210603.tar.gz 1018667 BLAKE2B d09becddcab7f24b8efcdb8a6c3b9a121de1654d54c792865e28a08412feeb58d3bbd7698811b840eb7873d3ca7854469f96d1b43bc806b2b3e680b2493beffe SHA512 72cb8a71560d97c92a44d988e8eb0293012565d4eea7b49d6d83be6b844f182db22c7c9d41e68ea3fd272ef7f8b88d97afbce3f867e899e162032507be082a40
DIST gnome-shell-extension-pop-shell-1.2.0_p20210727.tar.gz 1025387 BLAKE2B b25c3af33c6549d08e68de2971090dc74f4bdd719889bcd7397b38a9b275792fb6bdfed9e3baaa7a2c45074baf9c64c31d365809332f689f31c23b2e755793df SHA512 8a3ec6999a2b4ab9ffb67ec87e05482c489acc82ce0bd1a76e17e2ed2e4b8acc2ea22974c9363e1af7a9ec03409fe933109b2451c9be21a541f9dede32d48753
DIST gnome-shell-extension-pop-shell-1.2.0_p20220928.tar.gz 862942 BLAKE2B f692184bfb19571322fc8c8364182e69a2ac3f21b8f3657362ec387539659f7109413e9459ef5766ac7fc334ee56cee49c588d18a3e9701cc104beefb6eb0c4f SHA512 aecf8b8e3089bc1e1cc62ca0095705223dc3fcb7f30eab39166d39678037ca81076cf46960a27cfcb245bc540fe26ba0b3332747b9a41ad63e4f0ed50b8cf609
+DIST gnome-shell-extension-pop-shell-1.2.0_p20230626.tar.gz 864018 BLAKE2B 474dde2a131e53a52c8f8c648f6ec2a438e383485a675a625e7d20b3021e5955aa0bbfaa5f344881f754d486e1f601c3cf54adcd8839e76d77029767f8b01e64 SHA512 01aa86d3d78cc24dd8fc1b4f0834739f2974a0c82c875a039520dd1f4676afc7ff69c40927beb300d698834116d0d76fc45db3c8a81833628b4c2144f9052011
diff --git a/gnome-extra/gnome-shell-extension-pop-shell/gnome-shell-extension-pop-shell-1.2.0_p20230626.ebuild b/gnome-extra/gnome-shell-extension-pop-shell/gnome-shell-extension-pop-shell-1.2.0_p20230626.ebuild
new file mode 100644
index 000000000000..18e813e54e9c
--- /dev/null
+++ b/gnome-extra/gnome-shell-extension-pop-shell/gnome-shell-extension-pop-shell-1.2.0_p20230626.ebuild
@@ -0,0 +1,62 @@
+# Copyright 2021-2023 Gentoo Authors
+# Distributed under the terms of the GNU General Public License v2
+
+EAPI=8
+
+inherit gnome2-utils optfeature
+
+EGIT_COMMIT=b5acccefcaa653791d25f70a22c0e04f1858d96e
+
+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
+ sys-apps/fd
+"
+
+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
+ elog "To configure keybindings run /usr/lib/pop-shell/scripts/configure.sh as user"
+ echo
+
+ optfeature "better tiling via native-window-placement" gnome-extra/gnome-shell-extensions
+}
+
+pkg_postrm() {
+ ebegin "Updating list of installed extensions"
+ eselect gnome-shell-extensions update
+ eend $?
+
+ gnome2_schemas_update
+}
^ permalink raw reply related [flat|nested] 10+ messages in thread
* [gentoo-commits] repo/gentoo:master commit in: gnome-extra/gnome-shell-extension-pop-shell/
@ 2023-07-21 7:54 Joonas Niilola
0 siblings, 0 replies; 10+ messages in thread
From: Joonas Niilola @ 2023-07-21 7:54 UTC (permalink / raw
To: gentoo-commits
commit: d468abf19ea8e9f6cd87067409cbc2d6605dac31
Author: Philipp Rösner <rndxelement <AT> protonmail <DOT> com>
AuthorDate: Mon Jun 26 15:18:46 2023 +0000
Commit: Joonas Niilola <juippis <AT> gentoo <DOT> org>
CommitDate: Fri Jul 21 07:52:37 2023 +0000
URL: https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=d468abf1
gnome-extra/gnome-shell-extension-pop-shell: drop old
Signed-off-by: Philipp Rösner <rndxelement <AT> protonmail.com>
Closes: https://github.com/gentoo/gentoo/pull/31619
Signed-off-by: Joonas Niilola <juippis <AT> gentoo.org>
.../gnome-shell-extension-pop-shell/Manifest | 2 -
...l-extension-pop-shell-1.2.0_p20210603-r1.ebuild | 62 ----------------------
...l-extension-pop-shell-1.2.0_p20210727-r1.ebuild | 62 ----------------------
3 files changed, 126 deletions(-)
diff --git a/gnome-extra/gnome-shell-extension-pop-shell/Manifest b/gnome-extra/gnome-shell-extension-pop-shell/Manifest
index 93abd6c8b11b..36d00ee2e631 100644
--- a/gnome-extra/gnome-shell-extension-pop-shell/Manifest
+++ b/gnome-extra/gnome-shell-extension-pop-shell/Manifest
@@ -1,4 +1,2 @@
-DIST gnome-shell-extension-pop-shell-1.2.0_p20210603.tar.gz 1018667 BLAKE2B d09becddcab7f24b8efcdb8a6c3b9a121de1654d54c792865e28a08412feeb58d3bbd7698811b840eb7873d3ca7854469f96d1b43bc806b2b3e680b2493beffe SHA512 72cb8a71560d97c92a44d988e8eb0293012565d4eea7b49d6d83be6b844f182db22c7c9d41e68ea3fd272ef7f8b88d97afbce3f867e899e162032507be082a40
-DIST gnome-shell-extension-pop-shell-1.2.0_p20210727.tar.gz 1025387 BLAKE2B b25c3af33c6549d08e68de2971090dc74f4bdd719889bcd7397b38a9b275792fb6bdfed9e3baaa7a2c45074baf9c64c31d365809332f689f31c23b2e755793df SHA512 8a3ec6999a2b4ab9ffb67ec87e05482c489acc82ce0bd1a76e17e2ed2e4b8acc2ea22974c9363e1af7a9ec03409fe933109b2451c9be21a541f9dede32d48753
DIST gnome-shell-extension-pop-shell-1.2.0_p20220928.tar.gz 862942 BLAKE2B f692184bfb19571322fc8c8364182e69a2ac3f21b8f3657362ec387539659f7109413e9459ef5766ac7fc334ee56cee49c588d18a3e9701cc104beefb6eb0c4f SHA512 aecf8b8e3089bc1e1cc62ca0095705223dc3fcb7f30eab39166d39678037ca81076cf46960a27cfcb245bc540fe26ba0b3332747b9a41ad63e4f0ed50b8cf609
DIST gnome-shell-extension-pop-shell-1.2.0_p20230626.tar.gz 864018 BLAKE2B 474dde2a131e53a52c8f8c648f6ec2a438e383485a675a625e7d20b3021e5955aa0bbfaa5f344881f754d486e1f601c3cf54adcd8839e76d77029767f8b01e64 SHA512 01aa86d3d78cc24dd8fc1b4f0834739f2974a0c82c875a039520dd1f4676afc7ff69c40927beb300d698834116d0d76fc45db3c8a81833628b4c2144f9052011
diff --git a/gnome-extra/gnome-shell-extension-pop-shell/gnome-shell-extension-pop-shell-1.2.0_p20210603-r1.ebuild b/gnome-extra/gnome-shell-extension-pop-shell/gnome-shell-extension-pop-shell-1.2.0_p20210603-r1.ebuild
deleted file mode 100644
index 9d93e0234ede..000000000000
--- a/gnome-extra/gnome-shell-extension-pop-shell/gnome-shell-extension-pop-shell-1.2.0_p20210603-r1.ebuild
+++ /dev/null
@@ -1,62 +0,0 @@
-# Copyright 2021-2022 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_postrm() {
- 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/gnome-shell-extension-pop-shell-1.2.0_p20210727-r1.ebuild b/gnome-extra/gnome-shell-extension-pop-shell/gnome-shell-extension-pop-shell-1.2.0_p20210727-r1.ebuild
deleted file mode 100644
index f31ee1c0fd0e..000000000000
--- a/gnome-extra/gnome-shell-extension-pop-shell/gnome-shell-extension-pop-shell-1.2.0_p20210727-r1.ebuild
+++ /dev/null
@@ -1,62 +0,0 @@
-# Copyright 2021-2022 Gentoo Authors
-# Distributed under the terms of the GNU General Public License v2
-
-EAPI=7
-
-inherit gnome2-utils optfeature
-
-EGIT_COMMIT=475b49dc02386e26fbe6b91a559c77515d96caaf
-
-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
- sys-apps/fd
-"
-
-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
- elog "To configure keybindings run /usr/lib/pop-shell/scripts/configure.sh as user"
- echo
-
- optfeature gnome-extra/gnome-shell-extensions "better tiling via native-window-placement"
-}
-
-pkg_postrm() {
- ebegin "Updating list of installed extensions"
- eselect gnome-shell-extensions update
- eend $?
-
- gnome2_schemas_update
-}
^ permalink raw reply related [flat|nested] 10+ messages in thread
* [gentoo-commits] repo/gentoo:master commit in: gnome-extra/gnome-shell-extension-pop-shell/
@ 2023-11-12 12:28 Pacho Ramos
0 siblings, 0 replies; 10+ messages in thread
From: Pacho Ramos @ 2023-11-12 12:28 UTC (permalink / raw
To: gentoo-commits
commit: 573961d3126b048240e62e6a5832078cd272c6c9
Author: Pacho Ramos <pacho <AT> gentoo <DOT> org>
AuthorDate: Sun Nov 12 12:17:53 2023 +0000
Commit: Pacho Ramos <pacho <AT> gentoo <DOT> org>
CommitDate: Sun Nov 12 12:28:27 2023 +0000
URL: https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=573961d3
gnome-extra/gnome-shell-extension-pop-shell: add 1.2.0_p20231110
Signed-off-by: Pacho Ramos <pacho <AT> gentoo.org>
.../gnome-shell-extension-pop-shell/Manifest | 1 +
...hell-extension-pop-shell-1.2.0_p20231110.ebuild | 61 ++++++++++++++++++++++
2 files changed, 62 insertions(+)
diff --git a/gnome-extra/gnome-shell-extension-pop-shell/Manifest b/gnome-extra/gnome-shell-extension-pop-shell/Manifest
index 36d00ee2e631..0dea419558d2 100644
--- a/gnome-extra/gnome-shell-extension-pop-shell/Manifest
+++ b/gnome-extra/gnome-shell-extension-pop-shell/Manifest
@@ -1,2 +1,3 @@
DIST gnome-shell-extension-pop-shell-1.2.0_p20220928.tar.gz 862942 BLAKE2B f692184bfb19571322fc8c8364182e69a2ac3f21b8f3657362ec387539659f7109413e9459ef5766ac7fc334ee56cee49c588d18a3e9701cc104beefb6eb0c4f SHA512 aecf8b8e3089bc1e1cc62ca0095705223dc3fcb7f30eab39166d39678037ca81076cf46960a27cfcb245bc540fe26ba0b3332747b9a41ad63e4f0ed50b8cf609
DIST gnome-shell-extension-pop-shell-1.2.0_p20230626.tar.gz 864018 BLAKE2B 474dde2a131e53a52c8f8c648f6ec2a438e383485a675a625e7d20b3021e5955aa0bbfaa5f344881f754d486e1f601c3cf54adcd8839e76d77029767f8b01e64 SHA512 01aa86d3d78cc24dd8fc1b4f0834739f2974a0c82c875a039520dd1f4676afc7ff69c40927beb300d698834116d0d76fc45db3c8a81833628b4c2144f9052011
+DIST gnome-shell-extension-pop-shell-1.2.0_p20231110.tar.gz 864255 BLAKE2B 3398216664b53315aac84f9d77eb471dfe2b8f3db09c43f5d1ff3d20793c19cf62a6a3459873a76f5a45386f5b5a98933ea242a20d7eff5444a84db5b157ae14 SHA512 bda3f358a2c3e866875dbd5142564754ea2d55fe2bb95120e6a3d4ef04c56fd29688da415404edc3ca73fa16927ff33377c3aea19e0afd46da30342584e77199
diff --git a/gnome-extra/gnome-shell-extension-pop-shell/gnome-shell-extension-pop-shell-1.2.0_p20231110.ebuild b/gnome-extra/gnome-shell-extension-pop-shell/gnome-shell-extension-pop-shell-1.2.0_p20231110.ebuild
new file mode 100644
index 000000000000..931d43e6d5e8
--- /dev/null
+++ b/gnome-extra/gnome-shell-extension-pop-shell/gnome-shell-extension-pop-shell-1.2.0_p20231110.ebuild
@@ -0,0 +1,61 @@
+# Copyright 2021-2023 Gentoo Authors
+# Distributed under the terms of the GNU General Public License v2
+
+EAPI=8
+inherit gnome2-utils optfeature readme.gentoo-r1
+
+EGIT_COMMIT="aafc9458a47a68c396933c637de00421f5198a2a"
+
+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"
+IUSE=""
+
+RDEPEND="
+ app-eselect/eselect-gnome-shell-extensions
+ >=gnome-base/gnome-shell-45
+ sys-apps/fd
+"
+BDEPEND="dev-lang/typescript"
+
+S="${WORKDIR}/shell-${EGIT_COMMIT}"
+
+DOC_CONTENTS="To configure keybindings run /usr/lib/pop-shell/scripts/configure.sh as user"
+
+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
+
+ readme.gentoo_create_doc
+}
+
+pkg_postinst() {
+ ebegin "Updating list of installed extensions"
+ eselect gnome-shell-extensions update
+ eend $?
+
+ gnome2_schemas_update
+
+ readme.gentoo_print_elog
+ optfeature "better tiling via native-window-placement" gnome-extra/gnome-shell-extensions
+}
+
+pkg_postrm() {
+ ebegin "Updating list of installed extensions"
+ eselect gnome-shell-extensions update
+ eend $?
+
+ gnome2_schemas_update
+}
^ permalink raw reply related [flat|nested] 10+ messages in thread
* [gentoo-commits] repo/gentoo:master commit in: gnome-extra/gnome-shell-extension-pop-shell/
@ 2024-03-02 23:30 Sam James
0 siblings, 0 replies; 10+ messages in thread
From: Sam James @ 2024-03-02 23:30 UTC (permalink / raw
To: gentoo-commits
commit: 3f0da3c46bcb9e53876e7a476a3282f5cd8904aa
Author: Sam James <sam <AT> gentoo <DOT> org>
AuthorDate: Sat Mar 2 23:26:45 2024 +0000
Commit: Sam James <sam <AT> gentoo <DOT> org>
CommitDate: Sat Mar 2 23:29:42 2024 +0000
URL: https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=3f0da3c4
gnome-extra/gnome-shell-extension-pop-shell: Keyword 1.2.0_p20231110 ppc64, #914507
Signed-off-by: Sam James <sam <AT> gentoo.org>
.../gnome-shell-extension-pop-shell-1.2.0_p20231110.ebuild | 4 ++--
1 file changed, 2 insertions(+), 2 deletions(-)
diff --git a/gnome-extra/gnome-shell-extension-pop-shell/gnome-shell-extension-pop-shell-1.2.0_p20231110.ebuild b/gnome-extra/gnome-shell-extension-pop-shell/gnome-shell-extension-pop-shell-1.2.0_p20231110.ebuild
index 931d43e6d5e8..fed7823fbd7e 100644
--- a/gnome-extra/gnome-shell-extension-pop-shell/gnome-shell-extension-pop-shell-1.2.0_p20231110.ebuild
+++ b/gnome-extra/gnome-shell-extension-pop-shell/gnome-shell-extension-pop-shell-1.2.0_p20231110.ebuild
@@ -1,4 +1,4 @@
-# Copyright 2021-2023 Gentoo Authors
+# Copyright 2021-2024 Gentoo Authors
# Distributed under the terms of the GNU General Public License v2
EAPI=8
@@ -12,7 +12,7 @@ SRC_URI="https://github.com/pop-os/shell/archive/${EGIT_COMMIT}.tar.gz -> ${P}.t
LICENSE="GPL-3"
SLOT="0"
-KEYWORDS="~amd64"
+KEYWORDS="~amd64 ~ppc64"
IUSE=""
RDEPEND="
^ permalink raw reply related [flat|nested] 10+ messages in thread
end of thread, other threads:[~2024-03-02 23:30 UTC | newest]
Thread overview: 10+ messages (download: mbox.gz follow: Atom feed
-- links below jump to the message on this page --
2024-03-02 23:30 [gentoo-commits] repo/gentoo:master commit in: gnome-extra/gnome-shell-extension-pop-shell/ Sam James
-- strict thread matches above, loose matches on Subject: below --
2023-11-12 12:28 Pacho Ramos
2023-07-21 7:54 Joonas Niilola
2023-07-21 7:54 Joonas Niilola
2022-10-11 13:44 Joonas Niilola
2022-09-22 5:02 Georgy Yakovlev
2022-08-01 2:33 Sam James
2021-07-28 16:18 Georgy Yakovlev
2021-07-28 16:18 Georgy Yakovlev
2021-06-04 6:20 Georgy Yakovlev
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox