summarylogtreecommitdiffstats
diff options
context:
space:
mode:
authorfrnmst/Franco Masotti2016-10-25 16:57:28 +0200
committerfrnmst/Franco Masotti2016-10-25 16:57:28 +0200
commitf2e30c272d07932a1da9cdc26d10a19cff05aebe (patch)
tree9f39b513d25f0ac87365b2ded887873713eb8685
parent66a33ab3bc830ca6f894896710e4f9aa87f43c96 (diff)
downloadaur-f2e30c272d07932a1da9cdc26d10a19cff05aebe.tar.gz
Fixed problem when saving files.
-rw-r--r--.SRCINFO2
-rw-r--r--PKGBUILD2
-rwxr-xr-xrun.sh5
3 files changed, 6 insertions, 3 deletions
diff --git a/.SRCINFO b/.SRCINFO
index 23aff63df010..38e2ebb4cdf1 100644
--- a/.SRCINFO
+++ b/.SRCINFO
@@ -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
diff --git a/PKGBUILD b/PKGBUILD
index 372882bc4873..08ac755ce274 100644
--- a/PKGBUILD
+++ b/PKGBUILD
@@ -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"
diff --git a/run.sh b/run.sh
index d4df42a8f280..7f3b99d65f1f 100755
--- a/run.sh
+++ b/run.sh
@@ -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