2020-03-04 13:37:41 +00:00
|
|
|
pkgbase = gnome-shell-extension-pop-shell-git
|
2020-05-02 16:54:24 +00:00
|
|
|
pkgdesc = Pop Shell - Tiling window management in Gnome (WIP)
|
2020-09-28 19:26:06 +00:00
|
|
|
pkgver = r540.9286532
|
|
|
|
|
pkgrel = 2
|
2020-03-04 13:37:41 +00:00
|
|
|
url = https://github.com/pop-os/shell
|
|
|
|
|
arch = any
|
|
|
|
|
license = GPLv3
|
|
|
|
|
makedepends = typescript
|
|
|
|
|
depends = gnome-shell
|
2020-05-02 16:54:24 +00:00
|
|
|
depends = pop-shell-shortcuts-git
|
2020-03-04 13:37:41 +00:00
|
|
|
conflicts = gnome-shell-extension-pop-shell
|
|
|
|
|
source = shell::git+https://github.com/pop-os/shell.git#branch=master_focal
|
|
|
|
|
sha256sums = SKIP
|
|
|
|
|
|
|
|
|
|
pkgname = gnome-shell-extension-pop-shell-git
|
|
|
|
|
|
