summarylogtreecommitdiffstats
path: root/PKGBUILD
diff options
context:
space:
mode:
authorFoivos S. Zakkak2016-04-18 15:04:53 +0300
committerFoivos S. Zakkak2016-04-18 15:04:53 +0300
commit5995ffb2a4ad1081897b590c3512cb0b81604d20 (patch)
treebd0c1c2ab761d52161ae6f7f9012dceb72d83108 /PKGBUILD
parent827d304a01c8a5d6d6436cb37c1f3fb4bd03f8bb (diff)
downloadaur-5995ffb2a4ad1081897b590c3512cb0b81604d20.tar.gz
Install myWorkspaceSwitcherPopup.js as well
Diffstat (limited to 'PKGBUILD')
-rw-r--r--PKGBUILD4
1 files changed, 3 insertions, 1 deletions
diff --git a/PKGBUILD b/PKGBUILD
index c206534fc10..c11f347cfc3 100644
--- a/PKGBUILD
+++ b/PKGBUILD
@@ -2,7 +2,7 @@
# Contributor: Pieter Goetschalckx <3.14.e.ter at gmail dot com>
pkgname=gnome-shell-extension-workspace-grid
-pkgver=1.3.8.13
+pkgver=1.3.8.15
pkgrel=1
pkgdesc="Allows to configure your workspaces in a grid"
arch=(any)
@@ -37,6 +37,8 @@ package() {
"${pkgdir}/usr/share/gnome-shell/extensions/${_uuid}/ws-switch-arrow-left.png"
install -m644 "${_uuid}/ws-switch-arrow-right.png" \
"${pkgdir}/usr/share/gnome-shell/extensions/${_uuid}/ws-switch-arrow-right.png"
+ install -m644 "${_uuid}/myWorkspaceSwitcherPopup.js" \
+ "${pkgdir}/usr/share/gnome-shell/extensions/${_uuid}/myWorkspaceSwitcherPopup.js"
install -Dm644 "${_uuid}/schemas/org.gnome.shell.extensions.workspace-grid.gschema.xml" \
"${pkgdir}/usr/share/glib-2.0/schemas/org.gnome.shell.extensions.workspace-grid.gschema.xml"
}