diff options
-rw-r--r-- | .SRCINFO | 2 | ||||
-rw-r--r-- | PKGBUILD | 2 | ||||
-rwxr-xr-x | run.sh | 11 |
3 files changed, 10 insertions, 5 deletions
@@ -1,7 +1,7 @@ pkgbase = swish pkgdesc = SWI-Prolog for SHaring: a SWI-Prolog web IDE pkgver = r1124.071295b - pkgrel = 3 + pkgrel = 4 url = https://github.com/SWI-Prolog/swish install = .install arch = x86_64 @@ -2,7 +2,7 @@ # Contributor: Franco Masotti <franco dot masotti at student dot unife dot it> pkgname=swish pkgver=r1124.071295b -pkgrel=3 +pkgrel=4 pkgdesc="SWI-Prolog for SHaring: a SWI-Prolog web IDE" arch=('x86_64') url="https://github.com/SWI-Prolog/swish" @@ -33,12 +33,12 @@ help() { cat<<-EOF swish [OPTION] -SWI-Prolog for SHaring: a SWI-Prolog web IDE integrated with the cplint suite +SWI-Prolog for SHaring: a SWI-Prolog web IDE Only a single option is permitted. -h print this help - -k kill swish-cplint - -s start swish-cplint + -k kill swish + -s start swish Exit status: 0 if OK, @@ -60,6 +60,11 @@ killd() fi } +init() +{ + : +} + startd() { local pid="" |