gnome-extra / gnome-shell-extension-pop-shell

Keyboard-driven layer for GNOME Shell with tiling support

Official package sites : https://github.com/pop-os/shell ·

v1.2.0_p20250301 :: 0 :: gentoo

Modified
License
GPL-3
Keywords
~amd64 ~ppc64

v1.2.0_p20241231 :: 0 :: gentoo

Modified
License
GPL-3
Keywords
amd64 ~ppc64

app-eselect / eselect-gnome-shell-extensions : Manages system defaults for GNOME Shell extensions

gnome-base / gnome-shell : Provides core UI functions for the GNOME desktop

sys-apps / fd : Alternative to find that provides sensible defaults for 80% of the use cases

Repository mirror & CI · gentoo
Merge updates from master
Sam James · gentoo
gnome-extra/gnome-shell-extension-pop-shell: Stabilize 1.2.0_p20241231 amd64, #926845
Signed-off-by: Sam James <sam@gentoo.org>
Repository mirror & CI · gentoo
Merge updates from master
Philipp Rösner · gentoo
gnome-extra/gnome-shell-extension-pop-shell: drop 1.2.0_p20241009
Signed-off-by: Philipp Rösner <rndxelement@protonmail.com> Closes: https://github.com/gentoo/gentoo/pull/40827 Signed-off-by: Pacho Ramos <pacho@gentoo.org>
Philipp Rösner · gentoo
gnome-extra/gnome-shell-extension-pop-shell: add 1.2.0_p20250301
Use >=gnome-base/gnome-shell-46 as recommended in upstream README.md. Signed-off-by: Philipp Rösner <rndxelement@protonmail.com> Signed-off-by: Pacho Ramos <pacho@gentoo.org>
Repository mirror & CI · gentoo
Merge updates from master
Pacho Ramos · gentoo
gnome-extra/gnome-shell-extension-pop-shell: drop 1.2.0_p20231110
Signed-off-by: Pacho Ramos <pacho@gentoo.org>
Pacho Ramos · gentoo
gnome-extra/gnome-shell-extension-pop-shell: add 1.2.0_p20241231
Signed-off-by: Pacho Ramos <pacho@gentoo.org>
Repository mirror & CI · gentoo
Merge updates from master
Pacho Ramos · gentoo
gnome-extra/gnome-shell-extension-pop-shell: fix pkgcheck warnings
Signed-off-by: Pacho Ramos <pacho@gentoo.org>
Pacho Ramos · gentoo
gnome-extra/gnome-shell-extension-pop-shell: drop 1.2.0_p20220928, 1.2.0_p20230626
Signed-off-by: Pacho Ramos <pacho@gentoo.org>
Pacho Ramos · gentoo
gnome-extra/gnome-shell-extension-pop-shell: add 1.2.0_p20241009
Signed-off-by: Pacho Ramos <pacho@gentoo.org>
Repository mirror & CI · gentoo
Merge updates from master
Sam James · gentoo
gnome-extra/gnome-shell-extension-pop-shell: Keyword 1.2.0_p20231110 ppc64, #914507
Signed-off-by: Sam James <sam@gentoo.org>
Repository mirror & CI · gentoo
Merge updates from master
Pacho Ramos · gentoo
gnome-extra/gnome-shell-extension-pop-shell: add 1.2.0_p20231110
Signed-off-by: Pacho Ramos <pacho@gentoo.org>
Repository mirror & CI · gentoo
Merge updates from master
Philipp Rösner · gentoo
gnome-extra/gnome-shell-extension-pop-shell: drop old
Signed-off-by: Philipp Rösner <rndxelement@protonmail.com> Closes: https://github.com/gentoo/gentoo/pull/31619 Signed-off-by: Joonas Niilola <juippis@gentoo.org>
Philipp Rösner · gentoo
gnome-extra/gnome-shell-extension-pop-shell: add 1.2.0_p20230626
Signed-off-by: Philipp Rösner <rndxelement@protonmail.com> Signed-off-by: Joonas Niilola <juippis@gentoo.org>
Repository mirror & CI · gentoo
Merge updates from master
Philipp Rösner · gentoo
gnome-extra/gnome-shell-extension-pop-shell: add 1.2.0_p20220928
Signed-off-by: Philipp Rösner <rndxelement@protonmail.com> Closes: https://github.com/gentoo/gentoo/pull/27520 Signed-off-by: Joonas Niilola <juippis@gentoo.org>
Repository mirror & CI · gentoo
Merge updates from master
Sam James · gentoo
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@gentoo.org>
Repository mirror & CI · gentoo
Merge updates from master
Georgy Yakovlev · gentoo
gnome-extra/gnome-shell-extension-pop-shell: fix copyright years
Signed-off-by: Georgy Yakovlev <gyakovlev@gentoo.org>
Georgy Yakovlev · gentoo
gnome-extra/gnome-shell-extension-pop-shell: add 1.2.0_p20210727
Signed-off-by: Georgy Yakovlev <gyakovlev@gentoo.org>
Repository mirror & CI · gentoo
Merge updates from master
Georgy Yakovlev · gentoo
gnome-extra/gnome-shell-extension-pop-shell: initial import
Signed-off-by: Georgy Yakovlev <gyakovlev@gentoo.org>