diff options
author | Nicola Murino | 2020-04-19 23:11:26 +0200 |
---|---|---|
committer | Nicola Murino | 2020-04-19 23:11:26 +0200 |
commit | e41f906ac7d71d8c5c0098e184f239c8671a3a7f (patch) | |
tree | 189c139d6d1b1e232ecbbba3aae52e8e1148a22d /PKGBUILD | |
parent | ccd86da5a5236b389c36793017146523ac8b8624 (diff) | |
download | aur-e41f906ac7d71d8c5c0098e184f239c8671a3a7f.tar.gz |
fix icon size
Diffstat (limited to 'PKGBUILD')
-rw-r--r-- | PKGBUILD | 13 |
1 files changed, 10 insertions, 3 deletions
@@ -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 |