diff options
| author | Kevin Del Castillo | 2020-12-07 19:30:23 -0500 |
|---|---|---|
| committer | Kevin Del Castillo | 2020-12-07 19:31:29 -0500 |
| commit | cd9a1e3261e0640e7d025383139d235a6b7727e1 (patch) | |
| tree | af391985811034c4ce80ce232b6d05fe3dc4ec3c | |
| download | aur-cd9a1e3261e0640e7d025383139d235a6b7727e1.tar.gz | |
Update version 1.0.0
| -rw-r--r-- | .SRCINFO | 16 | ||||
| -rw-r--r-- | .gitignore | 4 | ||||
| -rw-r--r-- | PKGBUILD | 22 |
3 files changed, 42 insertions, 0 deletions
diff --git a/.SRCINFO b/.SRCINFO new file mode 100644 index 000000000000..b7bc698fa121 --- /dev/null +++ b/.SRCINFO @@ -0,0 +1,16 @@ +pkgbase = gnome-shell-extension-pop-shell-bin + pkgdesc = Pop Shell - Tiling window management in Gnome (WIP, precompiled) + pkgver = 1.0.0 + pkgrel = 1 + url = https://github.com/pop-os/shell + arch = any + license = GPLv3 + depends = gnome-shell + depends = pop-shell-shortcuts-git + optdepends = gnome-shell-extensions: native-window extension for improved window placement + conflicts = gnome-shell-extension-pop-shell + source = pop-os-shell-1.0.0.zip::https://github.com/pop-os/shell/releases/download/1.0.0/pop-shell@system76.com_1.0.0.zip + sha256sums = 69a09a1a317689c6361f3d42396d7a7e310245e72b5d7c3d91358927303260f6 + +pkgname = gnome-shell-extension-pop-shell-bin + diff --git a/.gitignore b/.gitignore new file mode 100644 index 000000000000..8ec737d72a4a --- /dev/null +++ b/.gitignore @@ -0,0 +1,4 @@ +src +pkg +*.zst +*.zip
\ No newline at end of file diff --git a/PKGBUILD b/PKGBUILD new file mode 100644 index 000000000000..fd92cac3812b --- /dev/null +++ b/PKGBUILD @@ -0,0 +1,22 @@ +# Maintainer: Kevin Del Castillo Ramirez <quebin31@gmail.com> +pkgname=gnome-shell-extension-pop-shell-bin +pkgdesc="Pop Shell - Tiling window management in Gnome (WIP, precompiled)" +pkgver=1.0.0 +pkgrel=1 +arch=(any) +url="https://github.com/pop-os/shell" +license=("GPLv3") +optdepends=('gnome-shell-extensions: native-window extension for improved window placement') +conflicts=("gnome-shell-extension-pop-shell") +depends=("gnome-shell" "pop-shell-shortcuts-git") + +_gitorg=pop-os +_gitname=shell +_dir="${_gitorg}-${_gitname}-${pkgver}" +source=("${_dir}.zip::https://github.com/${_gitorg}/${_gitname}/releases/download/${pkgver}/pop-shell@system76.com_${pkgver}.zip") +sha256sums=("69a09a1a317689c6361f3d42396d7a7e310245e72b5d7c3d91358927303260f6") + +package() { + mkdir -p "${pkgdir}/usr/share/gnome-shell/extensions/" + cp -r "${srcdir}" "${pkgdir}/usr/share/gnome-shell/extensions/pop-shell@system76.com" +} |