Package Details: gnome-shell-extension-pop-shell-git 1.2.0.r304.g9418d0a-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: 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: 52
Popularity: 0.179482
First Submitted: 2020-03-04 13:39 (UTC)
Last Updated: 2024-04-01 19:53 (UTC)

Pinned Comments

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

PSA: System76 is not actively maintaining this anymore, however they accept sane pull requests. Please only comment here if there is a packaging issue.

Latest Comments

« First ‹ Previous 1 .. 7 8 9 10 11 12

dencold commented on 2020-05-09 22:18 (UTC)

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 (UTC) (edited on 2020-05-03 15:55 (UTC) by jemzipx)

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

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

The shortcuts doesn't work at all.

xamerin commented on 2020-05-01 13:51 (UTC)

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