diff options
| author | Kevin Del Castillo | 2021-01-22 13:06:57 -0500 |
|---|---|---|
| committer | Kevin Del Castillo | 2021-01-22 13:06:57 -0500 |
| commit | 8ae8607a79e5fc611f5e21bb4e3a1f3d7f41d9b6 (patch) | |
| tree | 523d36bbe1c68a2396837facf2e7dfc0f9611bf6 | |
| parent | 4ed89fe53bd6e986b7826dd974ad792a37b635a7 (diff) | |
| download | aur-8ae8607a79e5fc611f5e21bb4e3a1f3d7f41d9b6.tar.gz | |
updpkg: 2
| -rw-r--r-- | .SRCINFO | 14 | ||||
| -rw-r--r-- | PKGBUILD | 43 | ||||
| -rw-r--r-- | pop-shell.install | 12 |
3 files changed, 55 insertions, 14 deletions
@@ -1,15 +1,25 @@ pkgbase = gnome-shell-extension-pop-shell-bin - pkgdesc = Pop Shell - Tiling window management in Gnome (WIP, precompiled) + pkgdesc = Pop Shell - Tiling window management in Gnome (precompiled) pkgver = 1.2.0 - pkgrel = 1 + pkgrel = 2 url = https://github.com/pop-os/shell + install = pop-shell.install arch = any license = GPLv3 depends = gnome-shell optdepends = gnome-shell-extensions: native-window extension for improved window placement conflicts = gnome-shell-extension-pop-shell + noextract = pop-os-shell-1.2.0.zip source = pop-os-shell-1.2.0.zip::https://github.com/pop-os/shell/releases/download/1.2.0/pop-shell@system76.com_1.2.0.zip + source = https://raw.githubusercontent.com/pop-os/shell/1.2.0/keybindings/10-pop-shell-move.xml + source = https://raw.githubusercontent.com/pop-os/shell/1.2.0/keybindings/10-pop-shell-navigate.xml + source = https://raw.githubusercontent.com/pop-os/shell/1.2.0/keybindings/10-pop-shell-tile.xml + source = https://raw.githubusercontent.com/pop-os/shell/1.2.0/scripts/configure.sh sha256sums = 5ee01c1d40a4437069cc96c217d4a2d99a2d8f09ec34b62d893edc7eadc0838c + sha256sums = 2520d034cb00f5cbbd7a14f68c4e6aae785c2bc6c000dab680feae7b00f5391e + sha256sums = b14ab3b9ab66d160c5e77279724ea64158e7f4c9e44b4935a02a7c049a63f519 + sha256sums = 25c50e38934441d7f9dd84378f4a687e853476b5908dcdbf98676d1f55886555 + sha256sums = f2adbc97fc1a82f476a7ea20ba11d38593ba1f48100662d8c48579ee5e1a1549 pkgname = gnome-shell-extension-pop-shell-bin @@ -1,22 +1,41 @@ # 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)" +pkgdesc='Pop Shell - Tiling window management in Gnome (precompiled)' pkgver=1.2.0 -pkgrel=1 +pkgrel=2 arch=(any) -url="https://github.com/pop-os/shell" -license=("GPLv3") +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") +conflicts=('gnome-shell-extension-pop-shell') +depends=('gnome-shell') +install='pop-shell.install' _gitorg=pop-os _gitname=shell -_file="${_gitorg}-${_gitname}-${pkgver}" -source=("${_file}.zip::https://github.com/${_gitorg}/${_gitname}/releases/download/${pkgver}/pop-shell@system76.com_${pkgver}.zip") -sha256sums=("5ee01c1d40a4437069cc96c217d4a2d99a2d8f09ec34b62d893edc7eadc0838c") +_releasefile="${_gitorg}-${_gitname}-${pkgver}.zip" +source=( + "${_releasefile}::https://github.com/${_gitorg}/${_gitname}/releases/download/${pkgver}/pop-shell@system76.com_${pkgver}.zip" + "https://raw.githubusercontent.com/pop-os/shell/${pkgver}/keybindings/10-pop-shell-move.xml" + "https://raw.githubusercontent.com/pop-os/shell/${pkgver}/keybindings/10-pop-shell-navigate.xml" + "https://raw.githubusercontent.com/pop-os/shell/${pkgver}/keybindings/10-pop-shell-tile.xml" + "https://raw.githubusercontent.com/pop-os/shell/${pkgver}/scripts/configure.sh") +noextract=("${_releasefile}") +sha256sums=( + '5ee01c1d40a4437069cc96c217d4a2d99a2d8f09ec34b62d893edc7eadc0838c' + '2520d034cb00f5cbbd7a14f68c4e6aae785c2bc6c000dab680feae7b00f5391e' + 'b14ab3b9ab66d160c5e77279724ea64158e7f4c9e44b4935a02a7c049a63f519' + '25c50e38934441d7f9dd84378f4a687e853476b5908dcdbf98676d1f55886555' + 'f2adbc97fc1a82f476a7ea20ba11d38593ba1f48100662d8c48579ee5e1a1549') + +prepare() { + unzip -qo "${_releasefile}" -d extension +} package() { - mkdir -p "${pkgdir}/usr/share/gnome-shell/extensions/" - rm "${srcdir}/${_file}.zip" - cp -r "${srcdir}" "${pkgdir}/usr/share/gnome-shell/extensions/pop-shell@system76.com" + local extension_dir='usr/share/gnome-shell/extensions/pop-shell@system76.com' + local keybindings_dir='usr/share/gnome-control-center/keybindings' + + install -Dm644 *.xml -t "${pkgdir}/${keybindings_dir}" + install -Dm755 configure.sh -t "${pkgdir}/${extension_dir}/scripts/configure.sh" + cp -r "${srcdir}"/extension/* "${pkgdir}/${extension_dir}" } diff --git a/pop-shell.install b/pop-shell.install new file mode 100644 index 000000000000..46ae682f6e93 --- /dev/null +++ b/pop-shell.install @@ -0,0 +1,12 @@ +post_install() { + echo "pop-shell: To complete setup configure keybindings" + echo "pop-shell: Run the script /usr/share/gnome-shell/extensions/pop-shell@system76.com/scripts/configure.sh" +} + +post_upgrade() { + post_install +} + +post_remove() { + echo "pop-shell: uninstalled, reset the keybindings." +}
\ No newline at end of file |