summarylogtreecommitdiffstats
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
parent827d304a01c8a5d6d6436cb37c1f3fb4bd03f8bb (diff)
downloadaur-5995ffb2a4ad1081897b590c3512cb0b81604d20.tar.gz
Install myWorkspaceSwitcherPopup.js as well
-rw-r--r--.SRCINFO4
-rw-r--r--PKGBUILD4
2 files changed, 5 insertions, 3 deletions
diff --git a/.SRCINFO b/.SRCINFO
index 86a56eb06bc..085731f4684 100644
--- a/.SRCINFO
+++ b/.SRCINFO
@@ -1,8 +1,8 @@
# Generated by mksrcinfo v8
-# Tue Apr 12 13:30:15 UTC 2016
+# Mon Apr 18 12:03:32 UTC 2016
pkgbase = gnome-shell-extension-workspace-grid
pkgdesc = Allows to configure your workspaces in a grid
- pkgver = 1.3.8.13
+ pkgver = 1.3.8.15
pkgrel = 1
url = https://github.com/zakkak/workspace-grid-gnome-shell-extension
install = gnome-shell-extension-workspace-grid.install
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"
}