Package Details: gnome-shell-extension-pop-shell-git r192.e15786b-1

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: Pop Shell - Tiling window management in Gnome (WIP)
Upstream URL: https://github.com/pop-os/shell
Licenses: GPLv3
Conflicts: gnome-shell-extension-pop-shell
Submitter: ftsell
Maintainer: ftsell
Last Packager: ftsell
Votes: 7
Popularity: 3.92
First Submitted: 2020-03-04 13:39
Last Updated: 2020-05-02 16:54

Latest Comments

dencold commented on 2020-05-09 22:18

Warning that pop shell is fubar'd on Wayland right now. There is an open issue upstream for more details: https://github.com/pop-os/shell/issues/166

jemzipx commented on 2020-05-03 15:55

Works great. Shortcuts work as well (after installing pop-shell-shortcuts. I had to make few changes to default gnome shortcuts to avoid some conflicts.

ftsell commented on 2020-05-02 16:55

I have added the dependency but since I don't currently have an Arch Box running, I was only able to test the build in a container.

laichiaheng commented on 2020-05-02 14:52

The shortcuts doesn't work at all.

xamerin commented on 2020-05-01 13:51

There appears to be a dependency missing pop-shell-shortcuts when I try to view all shortcuts. It's probably shell-shortcuts.