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-11-14 12:13:30 +00:00
|
|
|
pkgver = r601.e1a9db9
|
2020-10-06 19:01:29 +00:00
|
|
|
pkgrel = 1
|
2020-03-04 13:37:41 +00:00
|
|
|
url = https://github.com/pop-os/shell
|
2020-10-06 17:19:31 +00:00
|
|
|
install = pop-shell.install
|
2020-03-04 13:37:41 +00:00
|
|
|
arch = any
|
|
|
|
license = GPLv3
|
|
|
|
makedepends = typescript
|
2020-10-06 17:19:31 +00:00
|
|
|
makedepends = git
|
2020-03-04 13:37:41 +00:00
|
|
|
depends = gnome-shell
|
2020-05-02 16:54:24 +00:00
|
|
|
depends = pop-shell-shortcuts-git
|
2020-10-14 16:50:21 +00:00
|
|
|
optdepends = gnome-shell-extensions: native-window extension for improved window placement
|
2020-03-04 13:37:41 +00:00
|
|
|
conflicts = gnome-shell-extension-pop-shell
|
2020-11-14 12:13:30 +00:00
|
|
|
source = shell::git+https://github.com/pop-os/shell.git#branch=master
|
2020-03-04 13:37:41 +00:00
|
|
|
sha256sums = SKIP
|
|
|
|
|
|
|
|
pkgname = gnome-shell-extension-pop-shell-git
|
|
|
|
|