Search Criteria
Package Details: gnome-shell-extension-pop-shell 1.2.0+292+g0e09473-1
Package Actions
Git Clone URL: | https://aur.archlinux.org/gnome-shell-extension-pop-shell.git (read-only, click to copy) |
---|---|
Package Base: | gnome-shell-extension-pop-shell |
Description: | GNOME Shell extension for advanced tiling window management |
Upstream URL: | https://github.com/pop-os/shell |
Licenses: | GPL3 |
Submitter: | vincent.ducamps |
Maintainer: | yochananmarqos |
Last Packager: | yochananmarqos |
Votes: | 16 |
Popularity: | 1.61 |
First Submitted: | 2020-11-07 08:14 (UTC) |
Last Updated: | 2023-04-22 20:07 (UTC) |
Dependencies (9)
- fd (fd-git)
- gnome-shell (ebadoo-shell, gnome-shell-338, gnome-shell-oldstable, gnome-shell-perf, gnome-shell-git, gnome-shell-mobile-git, gnome-shell-screencast-vaapi, gnome-shell-performance, gnome-shell-xrdesktop-git)
- pop-launcher (pop-launcher-git)
- pop-shell-shortcuts (pop-shell-shortcuts-git)
- xorg-xprop
- git (git-vfs, git-run-command-patch-git, git-git, git-fc) (make)
- typescript (make)
- gnome-control-center (gnome-control-center-oldstable, gnome-control-center-338, gnome-control-center-4-git, gnome-control-center-git, gnome-control-center-vrr, gnome-control-center-x11-scaling) (optional) – keybinding categories
- gnome-shell-extensions (ebadoo-shell-extensions, gnome-shell-extensions-git) (optional) – for Native Window Placment extension
Required by (0)
Sources (7)
- 0001-Remove-schema-handling-from-transpile.sh.patch
- 50_org.gnome.desktop.wm.keybindings.pop-shell.gschema.override
- 50_org.gnome.mutter.pop-shell.gschema.override
- 50_org.gnome.mutter.wayland.pop-shell.gschema.override
- 50_org.gnome.settings-daemon.plugins.media-keys.pop-shell.gschema.override
- 50_org.gnome.shell.pop-shell.gschema.override
- git+https://github.com/pop-os/shell.git#commit=0e09473c9d8a1de7476ccf128c028188206c9bb1
Latest Comments
rayj commented on 2023-05-26 20:29 (UTC)
Thank you! Works perfect with GNOME 44.1
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
saltedcoffii commented on 2022-05-08 15:10 (UTC)
Failing to build (2022-05-08)
nave commented on 2022-01-09 10:19 (UTC)
hello.. i'm getting this message. (i don´t know if this is the right place to post it..) thanks!
The settings of extension pop-shell@system76.com had an error:
Stack trace:
MageJohn commented on 2021-10-20 12:43 (UTC) (edited on 2021-10-20 12:44 (UTC) by MageJohn)
Hey! This package currently fails to build due to a change in TypeScript 4.4. The fix has been merged upstream (https://github.com/pop-os/shell/pull/1157), but it's not in the latest release yet. Here's a patch for this package that works around the problem: