diff options
author | Foivos S. Zakkak | 2016-04-18 15:04:53 +0300 |
---|---|---|
committer | Foivos S. Zakkak | 2016-04-18 15:04:53 +0300 |
commit | 5995ffb2a4ad1081897b590c3512cb0b81604d20 (patch) | |
tree | bd0c1c2ab761d52161ae6f7f9012dceb72d83108 /PKGBUILD | |
parent | 827d304a01c8a5d6d6436cb37c1f3fb4bd03f8bb (diff) | |
download | aur-5995ffb2a4ad1081897b590c3512cb0b81604d20.tar.gz |
Install myWorkspaceSwitcherPopup.js as well
Diffstat (limited to 'PKGBUILD')
-rw-r--r-- | PKGBUILD | 4 |
1 files changed, 3 insertions, 1 deletions
@@ -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" } |