AUR (en) - gnome-shell-extension-pop-shell-git

Git Clone URL:	https://aur.archlinux.org/gnome-shell-extension-pop-shell-git.git (read-only, click to copy)
Package Base:	gnome-shell-extension-pop-shell-git
Description:	GNOME Shell extension for advanced tiling window management
Upstream URL:	https://github.com/pop-os/shell
Licenses:	GPL-3.0-or-later
Conflicts:	gnome-shell-extension-pop-shell
Provides:	gnome-shell-extension-pop-shell
Submitter:	ftsell
Maintainer:	vincent.ducamps (yochananmarqos)
Last Packager:	yochananmarqos
Votes:	55
Popularity:	0.71
First Submitted:	2020-03-04 13:39 (UTC)
Last Updated:	2024-06-30 16:49 (UTC)

There is a first official release: https://github.com/pop-os/shell/releases/tag/1.0.0. Is there going to be a non-git version of this package?

depau commented on 2020-11-03 03:04 (UTC)

Yes sorry, it should be 644.

yochananmarqos commented on 2020-11-02 05:21 (UTC)

@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 (UTC) (edited on 2020-11-01 23:03 (UTC) by depau)

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/org.gnome.shell.extensions.pop-shell.gschema.xml "$pkgdir"/usr/share/glib-2.0/schemas/

Thank you!

stuzenz commented on 2020-10-21 18:02 (UTC)

@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 (UTC)

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

yochananmarqos commented on 2020-10-19 20:08 (UTC) (edited on 2020-10-19 20:09 (UTC) by yochananmarqos)

@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 (UTC) (edited on 2020-10-19 20:04 (UTC) by stuzenz)

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.

/etc/gdm/custom.conf

# Comment out again when I want to use wayland
WaylandEnable=false

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.

laichiaheng commented on 2020-10-17 12:54 (UTC)

@yochananmarqos So we can't use the origin dbus in the future?

yochananmarqos commented on 2020-10-14 20:12 (UTC) (edited on 2020-10-17 14:22 (UTC) by yochananmarqos)

@vincent.ducamps: No, that issue happens when the install file executes which is in a chroot. See PKBUILD: install.

Arch Linux User Repository

Search Criteria

Package Details: gnome-shell-extension-pop-shell-git 1.2.0.r305.gcfa0c55-1

Package Actions

Dependencies (9)

Required by (0)

Sources (7)

Pinned Comments

yochananmarqos commented on 2024-04-01 19:56 (UTC)

Latest Comments

coxackie commented on 2020-11-06 10:20 (UTC) (edited on 2020-11-06 10:20 (UTC) by coxackie)