diff options
author | frnmst/Franco Masotti | 2016-10-25 17:11:48 +0200 |
---|---|---|
committer | frnmst/Franco Masotti | 2016-10-25 17:11:48 +0200 |
commit | eb0a4126d3f407079a2d2d15725b99f053a6e8c1 (patch) | |
tree | 08b38149a3c32485510e62a2b53590e876e81135 /run.sh | |
parent | 3ea834723db30a2bbd1d3706b2434a69b3cb19a5 (diff) | |
download | aur-eb0a4126d3f407079a2d2d15725b99f053a6e8c1.tar.gz |
Fixed problem when saving files.
Diffstat (limited to 'run.sh')
-rwxr-xr-x | run.sh | 5 |
1 files changed, 4 insertions, 1 deletions
@@ -65,7 +65,10 @@ startd() local pid="" { - ( exec swipl --quiet -f "$pkg_dir"/run.pl ) & + ( + cd "$pkg_dir" + exec swipl --quiet -f "$pkg_dir"/run.pl + ) & pid="$!" } 1>/dev/null 2>/dev/null |