summarylogtreecommitdiffstats
path: root/PKGBUILD
diff options
context:
space:
mode:
authorNicola Murino2020-04-19 23:11:26 +0200
committerNicola Murino2020-04-19 23:11:26 +0200
commite41f906ac7d71d8c5c0098e184f239c8671a3a7f (patch)
tree189c139d6d1b1e232ecbbba3aae52e8e1148a22d /PKGBUILD
parentccd86da5a5236b389c36793017146523ac8b8624 (diff)
downloadaur-e41f906ac7d71d8c5c0098e184f239c8671a3a7f.tar.gz
fix icon size
Diffstat (limited to 'PKGBUILD')
-rw-r--r--PKGBUILD13
1 files changed, 10 insertions, 3 deletions
diff --git a/PKGBUILD b/PKGBUILD
index 2f2e04435cd..a360d682bf6 100644
--- a/PKGBUILD
+++ b/PKGBUILD
@@ -7,7 +7,7 @@
pkgname=gnome-shell-extension-dash-to-dock
_pkgname=dash-to-dock
pkgver=67+81+g3e1d49a
-pkgrel=1
+pkgrel=2
pkgdesc="Move the dash out of the overview transforming it in a dock"
arch=('any')
url="https://micheleg.github.io/dash-to-dock/"
@@ -15,14 +15,21 @@ license=('GPL')
depends=('gnome-shell')
makedepends=('intltool' 'gettext' 'git')
_commit=3e1d49af1876e83abd1d16baab24cb263ca53360
-source=("git+https://github.com/micheleg/dash-to-dock.git#commit=$_commit")
-sha256sums=('SKIP')
+source=("git+https://github.com/micheleg/dash-to-dock.git#commit=$_commit"
+ "https://patch-diff.githubusercontent.com/raw/micheleg/dash-to-dock/pull/1171.patch")
+sha256sums=('SKIP'
+ '13bb4cdb9701d0311c63a96f03decbe2807b88578fe7c61344e1cfb0f28606dc')
pkgver() {
cd "${srcdir}"/${_pkgname}
git describe --tags | sed 's/^extensions\.gnome\.org-v//g' | sed 's/-/+/g'
}
+prepare() {
+ cd "${srcdir}"/${_pkgname}
+ patch -Np1 -i "$srcdir/1171.patch"
+}
+
build() {
cd "${srcdir}"/${_pkgname}
make