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 2 3 4 5 6 7 8 9 10 .. 12 Next › Last »

Zatem commented on 2023-03-30 08:29 (UTC) (edited on 2023-03-30 09:21 (UTC) by Zatem)

The shortcuts for navigating workspaces (either move windows to workspaces, or switch workspaces) doesnt work, see e.g. https://github.com/pop-os/shell/issues/1537

Anyone found a fix for that?

Edit: The super+ctrl+left/right to switch workspaces can just be bound with gnome shortcuts again. super+shift+up/down to put active window on the next workspace does however not work that way, there must be some conflict with that. I bound it to win+alt+left/right now, which works.

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/pop-shell@system76.com/metadata.json; it seems to be working without issue on 43.

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

looks like gnome 43 broke this

vincent.ducamps commented on 2022-10-15 08:38 (UTC)

I think this release is no more compatible wit hnew typescript version until next release of pop-shell please use gnome-shell-extension-pop-shell-git package who is functional

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 configure.sh 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.

Source: https://support.system76.com/articles/pop-shell/

saltedcoffii commented on 2022-05-08 15:10 (UTC)

Failing to build (2022-05-08)

UUID is "pop-shell@system76.com"
depcheck
rm -rf _build schemas/gschemas.compiled target
tsc
src/settings.ts:25:24 - error TS2345: Argument of type 'unknown' is not assignable to parameter of type 'string'.

25             global.log(err)
                          ~~~


Found 1 error in src/settings.ts:25

make: *** [Makefile:34: transpile] Error 2
==> ERROR: A failure occurred in build().
    Aborting...

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

Update Done