diff options
author | Emmanuel Gil Peyrot | 2019-05-10 12:41:32 +0200 |
---|---|---|
committer | Emmanuel Gil Peyrot | 2019-05-10 12:49:10 +0200 |
commit | 728a679cd2bfa756233e59f6df0edf9ddc80f050 (patch) | |
tree | eb6960a9e1a68972e2886deb947f5885e07217b4 | |
parent | d1ef2a84c822b80a68c7e54faece1101a0a678c5 (diff) | |
download | aur-728a679cd2bfa756233e59f6df0edf9ddc80f050.tar.gz |
Install ./play.it in /usr instead of /usr/local
This is the recommended prefix for all packages in ArchLinux, /usr/local
should be kept for non-packages installed by the system administrator.
-rw-r--r-- | PKGBUILD | 2 |
1 files changed, 1 insertions, 1 deletions
@@ -24,6 +24,6 @@ build() { package() { cd "$srcdir/$pkgname-$pkgver" - make DESTDIR="$pkgdir" install + make DESTDIR="$pkgdir" prefix="/usr" bindir="/usr/bin" install } |