diff options
author | jakob | 2016-12-12 20:51:36 -0500 |
---|---|---|
committer | jakob | 2016-12-12 20:51:36 -0500 |
commit | 27920b8db723bf4c2e165a700841afdeeb465900 (patch) | |
tree | e872016ab6de19546898081b3a1f3650d2075c77 | |
parent | 8168705d8b4ea44a8662bb9a674f0d6ed382939e (diff) | |
download | aur-27920b8db723bf4c2e165a700841afdeeb465900.tar.gz |
Fixed symlink
-rw-r--r-- | PKGBUILD | 10 |
1 files changed, 5 insertions, 5 deletions
@@ -15,9 +15,9 @@ package() { cd "$srcdir/$pkgname" sed "s/\.\/gdb_pince\/gdb-7\.11\.1\/bin\/gdb/\/usr\/bin\/gdb/g" libPINCE/type_defs.py > libPINCE/type_defs.py.new mv libPINCE/type_defs.py.new libPINCE/type_defs.py - install -d $pkgdir/usr/bin - install -d $pkgdir/usr/share/PINCE - install PINCE.py $pkgdir/usr/share/PINCE - cp -r GUI libPINCE media pince-non-stop-files $pkgdir/usr/share/PINCE - ln -s $pkgdir/usr/share/PINCE/PINCE.py $pkgdir/usr/bin/pince + install -d "$pkgdir/usr/bin" + install -d "$pkgdir/usr/share/PINCE" + install PINCE.py "$pkgdir/usr/share/PINCE" + cp -r GUI libPINCE media pince-non-stop-files "$pkgdir/usr/share/PINCE" + ln -s "/usr/share/PINCE/PINCE.py" "${pkgdir}/usr/bin/pince" } |