diff options
author | jakob | 2017-07-17 17:30:18 -0400 |
---|---|---|
committer | jakob | 2017-07-17 17:30:18 -0400 |
commit | 8be0ab0b55d7fa03fbfc2ec6ffa620078241dc3f (patch) | |
tree | cf7559fca31e7595c58a545420931e57bc5a011c /PKGBUILD | |
parent | 3daf08808b13a9d5ed530401801c57519474229c (diff) | |
download | aur-8be0ab0b55d7fa03fbfc2ec6ffa620078241dc3f.tar.gz |
Explicitly invoke the python3 binary
Diffstat (limited to 'PKGBUILD')
-rw-r--r-- | PKGBUILD | 2 |
1 files changed, 1 insertions, 1 deletions
@@ -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" |