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 /PKGBUILD | |
parent | 0add3e241849a06d709af1cd172a5c23e7151946 (diff) | |
download | aur-59f8c7ad093fa503770a6460cfde6f1661e64764.tar.gz |
Fix make install DESTDIR to install in /usr/share instead of /home
Diffstat (limited to 'PKGBUILD')
-rw-r--r-- | PKGBUILD | 4 |
1 files changed, 2 insertions, 2 deletions
@@ -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 } |