Search Criteria
Package Details: gnome-shell-extension-pop-shell-bin 1.2.0-4
| Git Clone URL: | https://aur.archlinux.org/gnome-shell-extension-pop-shell-bin.git (read-only, click to copy) |
|---|---|
| Package Base: | gnome-shell-extension-pop-shell-bin |
| Description: | Pop Shell - Tiling window management in Gnome (precompiled) |
| Upstream URL: | https://github.com/pop-os/shell |
| Keywords: | extension gnome pop shell |
| Licenses: | |
| Conflicts: | |
| Submitter: | quebin31 |
| Maintainer: | quebin31 |
| Last Packager: | quebin31 |
| Votes: | 1 |
| Popularity: | 0.079112 |
| First Submitted: | 2020-12-08 00:32 |
| Last Updated: | 2021-01-22 18:40 |
Dependencies (2)
- gnome-shell (ebadoo-shell, gnome-shell-performance, gnome-shell-xrdesktop-git, gnome-shell-git)
- gnome-shell-extensions (ebadoo-shell-extensions, gnome-shell-extensions-git) (optional) – native-window extension for improved window placement
Required by (0)
Sources (5)
- https://raw.githubusercontent.com/pop-os/shell/1.2.0/keybindings/10-pop-shell-move.xml
- https://raw.githubusercontent.com/pop-os/shell/1.2.0/keybindings/10-pop-shell-navigate.xml
- https://raw.githubusercontent.com/pop-os/shell/1.2.0/keybindings/10-pop-shell-tile.xml
- https://raw.githubusercontent.com/pop-os/shell/1.2.0/scripts/configure.sh
- pop-os-shell-1.2.0.zip