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