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 | |
parent | 66a33ab3bc830ca6f894896710e4f9aa87f43c96 (diff) | |
download | aur-f2e30c272d07932a1da9cdc26d10a19cff05aebe.tar.gz |
Fixed problem when saving files.
-rw-r--r-- | .SRCINFO | 2 | ||||
-rw-r--r-- | PKGBUILD | 2 | ||||
-rwxr-xr-x | run.sh | 5 |
3 files changed, 6 insertions, 3 deletions
@@ -1,7 +1,7 @@ pkgbase = swish-cplint pkgdesc = SWI-Prolog for SHaring: a SWI-Prolog web IDE integrated with the cplint suite pkgver = r1673.4e5dd96 - pkgrel = 2 + pkgrel = 3 url = https://github.com/friguzzi/swish install = .install arch = x86_64 @@ -2,7 +2,7 @@ # Contributor: Franco Masotti <franco dot masotti at student dot unife dot it> pkgname=swish-cplint pkgver=r1673.4e5dd96 -pkgrel=2 +pkgrel=3 pkgdesc="SWI-Prolog for SHaring: a SWI-Prolog web IDE integrated with the cplint suite" arch=('x86_64') url="https://github.com/friguzzi/swish" @@ -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 |