summarylogtreecommitdiffstats
diff options
context:
space:
mode:
authorjakob2017-07-17 17:30:18 -0400
committerjakob2017-07-17 17:30:18 -0400
commit8be0ab0b55d7fa03fbfc2ec6ffa620078241dc3f (patch)
treecf7559fca31e7595c58a545420931e57bc5a011c
parent3daf08808b13a9d5ed530401801c57519474229c (diff)
downloadaur-8be0ab0b55d7fa03fbfc2ec6ffa620078241dc3f.tar.gz
Explicitly invoke the python3 binary
-rw-r--r--PKGBUILD2
1 files changed, 1 insertions, 1 deletions
diff --git a/PKGBUILD b/PKGBUILD
index 74a365a4a14b..d24ab6aa5b9a 100644
--- a/PKGBUILD
+++ b/PKGBUILD
@@ -19,7 +19,7 @@ pkgver() {
package() {
cd "$srcdir/$pkgname"
sed -i 's/\.\/gdb_pince\/gdb-7\.11\.1\/bin\/gdb/\/usr\/bin\/gdb/g' libPINCE/type_defs.py
- sed -i 's/\ssudo python3 PINCE.py/cd \/usr\/share\/PINCE \&\& sudo python PINCE.py/' PINCE.sh
+ sed -i 's/\ssudo python3 PINCE.py/cd \/usr\/share\/PINCE \&\& sudo python3 PINCE.py/' PINCE.sh
sed -i 's/OS=.*/OS="Arch"/' PINCE.sh
install -d "$pkgdir/usr/bin"
install PINCE.sh "$pkgdir/usr/bin/pince"