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: | |
Conflicts: | |
Submitter: | vincent.ducamps |
Maintainer: | vincent.ducamps |
Last Packager: | vincent.ducamps |
Votes: | 4 |
Popularity: | 1.80 |
First Submitted: | 2020-11-07 08:14 |
Last Updated: | 2021-01-13 16:38 |
Dependencies (5)
- gnome-shell (gnome-shell-tweener-fix, ebadoo-shell, gnome-shell-dev, gnome-shell-xrdesktop-git, gnome-shell-performance, gnome-shell-git)
- pop-shell-shortcuts-git
- git (git-git) (make)
- typescript (make)
- gnome-shell-extensions (ebadoo-shell-extensions, gnome-shell-extensions-git) (optional) – native-window extension for improved window placement