Fixed problem when saving files.

This commit is contained in:
frnmst/Franco Masotti 2016-10-25 17:11:48 +02:00
parent 3ea834723d
commit eb0a4126d3
4 changed files with 10 additions and 3 deletions

View File

@ -1,7 +1,7 @@
pkgbase = swish
pkgdesc = SWI-Prolog for SHaring: a SWI-Prolog web IDE
pkgver = r1124.071295b
pkgrel = 1
pkgrel = 2
url = https://github.com/SWI-Prolog/swish
install = .install
arch = x86_64

View File

@ -10,3 +10,7 @@ post_install() {
swish.service to run the server.\n\n"
}
post_remove()
{
printf "\n\nYou can remove swish user and group.\n\n"
}

View File

@ -2,7 +2,7 @@
# Contributor: Franco Masotti <franco dot masotti at student dot unife dot it>
pkgname=swish
pkgver=r1124.071295b
pkgrel=1
pkgrel=2
pkgdesc="SWI-Prolog for SHaring: a SWI-Prolog web IDE"
arch=('x86_64')
url="https://github.com/SWI-Prolog/swish"

5
run.sh
View File

@ -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