diff options
author | frnmst/Franco Masotti | 2016-10-25 16:57:28 +0200 |
---|---|---|
committer | frnmst/Franco Masotti | 2016-10-25 16:57:28 +0200 |
commit | f2e30c272d07932a1da9cdc26d10a19cff05aebe (patch) | |
tree | 9f39b513d25f0ac87365b2ded887873713eb8685 /run.sh | |
parent | 66a33ab3bc830ca6f894896710e4f9aa87f43c96 (diff) | |
download | aur-f2e30c272d07932a1da9cdc26d10a19cff05aebe.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
@@ -88,7 +88,10 @@ startd() local pid="" { - ( initialize && exec swipl --quiet -f "$pkg_dir"/run.pl ) & + ( + cd "$pkg_dir" + initialize && exec swipl --quiet -f "$pkg_dir"/run.pl + ) & pid="$!" } 1>/dev/null 2>/dev/null |