summarylogtreecommitdiffstats
path: root/PKGBUILD
diff options
context:
space:
mode:
authorcarl.george2015-07-10 13:45:23 -0500
committercarl.george2015-07-10 13:45:23 -0500
commit2db52fe8b784fae5a372211c7238a9fbf8f8dee1 (patch)
tree03d6422de566cbbf7a5ea27c7400176e82ec2395 /PKGBUILD
parentbf72d7ab3e8f986ca9d232d66f4048a77a462381 (diff)
downloadaur-2db52fe8b784fae5a372211c7238a9fbf8f8dee1.tar.gz
46-3
Diffstat (limited to 'PKGBUILD')
-rw-r--r--PKGBUILD4
1 files changed, 2 insertions, 2 deletions
diff --git a/PKGBUILD b/PKGBUILD
index 47034981a73..c0e11bbacfd 100644
--- a/PKGBUILD
+++ b/PKGBUILD
@@ -7,7 +7,7 @@ _author="micheleg"
pkgname="gnome-shell-extension-${_extname}"
pkgver=46
-pkgrel=1
+pkgrel=3
pkgdesc="This extension moves the dash out of the overview transforming it in a dock for an easier launching of applications and a faster switching between windows and desktops."
arch=("any")
url="https://${_author}.github.io/${_extname}/"
@@ -18,7 +18,7 @@ conflicts=("gnome-shell-extensions-dash-to-dock-git")
install="gschemas.install"
source=("https://github.com/${_author}/${_extname}/archive/extensions.gnome.org-v${pkgver}.tar.gz")
noextract=()
-md5sums=("f085cee5b4373029a00d7987081d1d5d")
+md5sums=('f085cee5b4373029a00d7987081d1d5d')
build() {
cd "${srcdir}/${_extname}-extensions.gnome.org-v${pkgver}"