Package Details: gnome-shell-extension-pop-shell-git r927.30bf682-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: 38
Popularity: 1.67
First Submitted: 2020-03-04 13:39 (UTC)
Last Updated: 2022-11-07 18:35 (UTC)

Latest Comments

1 2 3 4 5 6 7 Next › Last »

smigtech commented on 2022-11-04 22:19 (UTC)

@towo thanks! that was simple enough to add @yochananmarqos maybe I needed to clean build?

yochananmarqos commented on 2022-11-02 14:36 (UTC)

@smigtech: No, it didn't.

@towo: Upstream already did that two months ago.

towo commented on 2022-11-02 10:44 (UTC)

FYI, GNOME 43 compatibility is just adding '43' to the appropriate array in /usr/share/gnome-shell/extensions/; it seems to be working without issue on 43.

smigtech commented on 2022-11-02 00:58 (UTC)

looks like gnome 43 broke this

yochananmarqos commented on 2022-08-25 17:00 (UTC)

@tilacog: Because packages do not touch a user's home directory. To enable the keyboard shortcuts, run the as mentioned in the included install file.

tilacog commented on 2022-08-25 14:46 (UTC)

The official installation guide suggests using make local-install instead of make all.

Is there a reason this package diverges from that?

To quote them:

Pop Shell is packaged in the AUR, but for the keyboard shortcuts to work, you will need to build it from source like we did above.


vincent.ducamps commented on 2022-04-08 17:32 (UTC)

Update Done

Lulzon commented on 2022-04-08 16:18 (UTC) (edited on 2022-04-08 16:18 (UTC) by Lulzon)

I've forked this package into gnome-shell-extension-pop-shell-git-master_jammy which works with Gnome 42. Once this repo is updated and working with Gnome 42 I will delete it.

@e-v hope this helps

e-v commented on 2022-04-08 11:14 (UTC)

The source repository's default branch is master_jammy. It contains fixes for Gnome 42, for instance. Should the PKGBUILD point to it rather than master?

francoism90 commented on 2022-03-05 17:35 (UTC)

Should this use provides=('gnome-shell-extension-pop-shell')?