diff options
author | carl.george | 2015-07-10 13:45:23 -0500 |
---|---|---|
committer | carl.george | 2015-07-10 13:45:23 -0500 |
commit | 2db52fe8b784fae5a372211c7238a9fbf8f8dee1 (patch) | |
tree | 03d6422de566cbbf7a5ea27c7400176e82ec2395 /PKGBUILD | |
parent | bf72d7ab3e8f986ca9d232d66f4048a77a462381 (diff) | |
download | aur-2db52fe8b784fae5a372211c7238a9fbf8f8dee1.tar.gz |
46-3
Diffstat (limited to 'PKGBUILD')
-rw-r--r-- | PKGBUILD | 4 |
1 files changed, 2 insertions, 2 deletions
@@ -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}" |