Search Criteria
Package Details: gnome-shell-extension-pop-shell 1.2.0-2
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: | 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: | vincent.ducamps |
Maintainer: | vincent.ducamps |
Last Packager: | vincent.ducamps |
Votes: | 15 |
Popularity: | 0.003383 |
First Submitted: | 2020-11-07 08:14 (UTC) |
Last Updated: | 2021-01-13 16:38 (UTC) |
Dependencies (5)
- gnome-shell (ebadoo-shell, gnome-shell-338, gnome-shell-oldstable, gnome-shell-perf, gnome-shell-git, gnome-shell-mobile-git, gnome-shell-xrdesktop-git, gnome-shell-screencast-vaapi, gnome-shell-performance)
- pop-shell-shortcuts-git
- git (git-vfs, git-git, git-run-command-patch-git) (make)
- typescript (make)
- gnome-shell-extensions (ebadoo-shell-extensions, gnome-shell-extensions-git) (optional) – native-window extension for improved window placement
Latest Comments
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: