diff options
author | Nicola Murino | 2019-09-20 00:35:05 +0200 |
---|---|---|
committer | Nicola Murino | 2019-09-20 00:35:05 +0200 |
commit | 88190db31b35992f2a7f77ebc41b613bafd6a443 (patch) | |
tree | e536d5b2243bf25d3b476cda28ff2d1a6710c90e /PKGBUILD | |
parent | d40ce8afa8520f1c4b7d4266de83c992b956acad (diff) | |
download | aur-88190db31b35992f2a7f77ebc41b613bafd6a443.tar.gz |
switch to ubuntu dock branch
This is needed to make the extension work with gnome 3.34
Diffstat (limited to 'PKGBUILD')
-rw-r--r-- | PKGBUILD | 12 |
1 files changed, 6 insertions, 6 deletions
@@ -5,25 +5,25 @@ # Contributor: Christopher Krooß <didi2002 at web.de> pkgname=gnome-shell-extension-dash-to-dock -_pkgname=dash-to-dock-extensions.gnome.org-v +_pkgname=dash-to-dock-ubuntu-dock- pkgver=66 -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/" license=('GPL') depends=('gnome-shell') makedepends=('intltool' 'gettext') -source=("https://github.com/micheleg/dash-to-dock/archive/extensions.gnome.org-v${pkgver}.tar.gz") -sha256sums=('5eb550d7f6981d3f9179243a718679ff8a309b4391d86e422ca3518381710e2b') +source=("https://github.com/micheleg/dash-to-dock/archive/ubuntu-dock-${pkgver}ubuntu19.10.2.tar.gz") +sha256sums=('e5d8f50b26422e26c71d5a906b6e72a553e09bcee21bad8e6796055b294bcfa5') build() { - cd "${srcdir}"/${_pkgname}${pkgver} + cd "${srcdir}"/${_pkgname}${pkgver}ubuntu19.10.2 make } package() { - cd "${srcdir}"/${_pkgname}${pkgver} + cd "${srcdir}"/${_pkgname}${pkgver}ubuntu19.10.2 make DESTDIR="${pkgdir}" VERSION="${pkgver}" install } |