diff options
author | Amin Vakil | 2021-02-27 01:50:18 +0330 |
---|---|---|
committer | Amin Vakil | 2021-02-27 01:50:42 +0330 |
commit | 59f8c7ad093fa503770a6460cfde6f1661e64764 (patch) | |
tree | 9662c18a589f7a5629fe4cba3d1682d2742636bc | |
parent | 0add3e241849a06d709af1cd172a5c23e7151946 (diff) | |
download | aur-59f8c7ad093fa503770a6460cfde6f1661e64764.tar.gz |
Fix make install DESTDIR to install in /usr/share instead of /home
-rw-r--r-- | .SRCINFO | 2 | ||||
-rw-r--r-- | PKGBUILD | 4 |
2 files changed, 3 insertions, 3 deletions
@@ -1,7 +1,7 @@ pkgbase = gnome-shell-extension-dash-to-dock-git pkgdesc = move the dash out of the overview transforming it in a dock pkgver = 69.r11.g7a2c87b - pkgrel = 2 + pkgrel = 3 url = https://micheleg.github.io/dash-to-dock/ arch = any license = GPL @@ -9,7 +9,7 @@ _srcname=dash-to-dock pkgname=gnome-shell-extension-dash-to-dock-git pkgver=69.r11.g7a2c87b -pkgrel=2 +pkgrel=3 pkgdesc="move the dash out of the overview transforming it in a dock" arch=('any') url="https://micheleg.github.io/dash-to-dock/" @@ -37,5 +37,5 @@ build() { package() { cd "${_srcname}" make - make install + make DESTDIR=${pkgdir} install } |