diff options
-rw-r--r-- | .SRCINFO | 2 | ||||
-rw-r--r-- | PKGBUILD | 2 | ||||
-rwxr-xr-x | run.sh | 8 |
3 files changed, 9 insertions, 3 deletions
@@ -1,7 +1,7 @@ pkgbase = swish pkgdesc = SWI-Prolog for SHaring: a SWI-Prolog web IDE pkgver = r1150.55fec5a - pkgrel = 1 + pkgrel = 2 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=r1150.55fec5a -pkgrel=1 +pkgrel=2 pkgdesc="SWI-Prolog for SHaring: a SWI-Prolog web IDE" arch=('x86_64') url="https://github.com/SWI-Prolog/swish" @@ -65,6 +65,11 @@ init() : } +remove() +{ + : +} + startd() { local pid="" @@ -130,11 +135,12 @@ write_pid_file() option_parser() { - getopts ":hiks" opt "$@" + getopts ":hikrs" opt "$@" case "$opt" in h ) help ;; i ) init ;; k ) killd ;; + r ) remove ;; s ) startd ;; ? ) help; return 1 ;; esac |