Package Details: gnome-shell-extension-pop-shell-git r611.b5ed270-1

Git Clone URL: (read-only, click to copy)
Package Base: gnome-shell-extension-pop-shell-git
Description: Pop Shell - Tiling window management in Gnome (WIP)
Upstream URL:
Licenses: GPLv3
Conflicts: gnome-shell-extension-pop-shell
Submitter: ftsell
Maintainer: vincent.ducamps
Last Packager: vincent.ducamps
Votes: 15
Popularity: 2.26
First Submitted: 2020-03-04 13:39
Last Updated: 2020-11-22 08:23

Latest Comments

1 2 3 4 Next › Last »

yochananmarqos commented on 2020-11-19 02:34

@vincent.ducamps. Keybindings are included now and the schemas are installed to the system, see my updated PKGBUILD

vincent.ducamps commented on 2020-11-07 09:34

@coxackie I have create new package in non-git version gnome-shell-extension-pop-shell

coxackie commented on 2020-11-06 10:20

There is a first official release: Is there going to be a non-git version of this package?

Depau commented on 2020-11-03 03:04

Yes sorry, it should be 644.

yochananmarqos commented on 2020-11-02 05:21

@Depau: The Makefile used to install it, but they recently reverted installing schemas and locale files to system directories. Why would it have 655 permissions? Shouldn't it be 644?

Depau commented on 2020-11-01 23:03

Hi, Could you please update the package so that the generated settings schema is installed to /usr/share/glib-2.0/schemas/?

It should be roughly

install -Dm655 "$srcdir/shell/schemas/ "$pkgdir"/usr/share/glib-2.0/schemas/

Thank you!

stuzenz commented on 2020-10-21 18:02

@vincent.ducamps that is good news. Wayland is a lot more secure - it will be good to be on it again.

vincent.ducamps commented on 2020-10-21 16:02

@stuzenz personaly I use it with wayland and no problem meet for the moment

yochananmarqos commented on 2020-10-19 20:08

@vincent.ducamps: Until we find a better way to automatically write/reset dconf settings, remove the dbus bit. It seems to be causing more issues than it solves.

stuzenz commented on 2020-10-19 20:00

If someone can help to clarify:

Does anyone know if gnome-shell-extenision-pop-shell is now compatible with wayland? I previously disabled wayland a couple of months ago as per below due to a number of issues/bugs that seemed to exist for pop-shell to work properly with wayland.


# Comment out again when I want to use wayland

I notice that with the current arch package here (r576.fd2380c-1) that it now has a dependency on dbus-x11 (due to me not using wayland). If I try to install dbus-x11 it has dependency conflicts as below:

Package conflicts found:
 -> Installing dbus-x11 will remove: dbus, dbus (libdbus)
 -> Conflicting packages will have to be confirmed manually
[Repo Make:2]  xmlto-0.0.28-4  doxygen-1.8.20-1
[Aur:1]  dbus-x11-1.12.20-1

Which leads me to wonder if pop-shell is now working nicely with wayland which will stop me having to satisfy dependencies (and associated conflicts) on a path that will hopefully be deprecated one day. Can someone please let me know what combination is working well at the moment?

Vincent, Thanks for maintaining the package! I really do like this tiling manager with gnome3.