2020-03-04 14:37:41 +01:00
|
|
|
pkgbase = gnome-shell-extension-pop-shell-git
|
2020-05-02 18:54:24 +02:00
|
|
|
pkgdesc = Pop Shell - Tiling window management in Gnome (WIP)
|
2021-10-19 20:31:18 +02:00
|
|
|
pkgver = r803.1de4139
|
2020-10-06 21:01:29 +02:00
|
|
|
pkgrel = 1
|
2020-03-04 14:37:41 +01:00
|
|
|
url = https://github.com/pop-os/shell
|
2020-10-06 19:19:31 +02:00
|
|
|
install = pop-shell.install
|
2020-03-04 14:37:41 +01:00
|
|
|
arch = any
|
|
|
|
|
license = GPLv3
|
|
|
|
|
makedepends = typescript
|
2020-10-06 19:19:31 +02:00
|
|
|
makedepends = git
|
2020-03-04 14:37:41 +01:00
|
|
|
depends = gnome-shell
|
2020-05-02 18:54:24 +02:00
|
|
|
depends = pop-shell-shortcuts-git
|
2021-09-07 10:59:35 +02:00
|
|
|
depends = pop-launcher-git
|
2021-07-07 20:45:31 +02:00
|
|
|
depends = fd
|
2020-10-14 18:50:21 +02:00
|
|
|
optdepends = gnome-shell-extensions: native-window extension for improved window placement
|
2020-03-04 14:37:41 +01:00
|
|
|
conflicts = gnome-shell-extension-pop-shell
|
2020-11-14 13:13:30 +01:00
|
|
|
source = shell::git+https://github.com/pop-os/shell.git#branch=master
|
2020-03-04 14:37:41 +01:00
|
|
|
sha256sums = SKIP
|
|
|
|
|
|
|
|
|
|
pkgname = gnome-shell-extension-pop-shell-git
|
