summarylogtreecommitdiffstats
diff options
context:
space:
mode:
-rw-r--r--.SRCINFO6
-rw-r--r--.install4
-rw-r--r--PKGBUILD8
-rwxr-xr-xrun.sh4
4 files changed, 15 insertions, 7 deletions
diff --git a/.SRCINFO b/.SRCINFO
index 8c605ffeea62..fd4d5e9d81a5 100644
--- a/.SRCINFO
+++ b/.SRCINFO
@@ -1,14 +1,18 @@
pkgbase = swish
pkgdesc = SWI-Prolog for SHaring: a SWI-Prolog web IDE
- pkgver = r1170.dacea67
+ pkgver = r1360.237320c
pkgrel = 1
url = https://github.com/SWI-Prolog/swish
install = .install
arch = x86_64
license = BSD
makedepends = git
+ makedepends = make
makedepends = bower
makedepends = sed
+ depends = bash
+ depends = coreutils
+ depends = gawk
depends = libxinerama
depends = libxpm
depends = swi-prolog-devel
diff --git a/.install b/.install
index 29d276a75b75..4f3f2d80ea8b 100644
--- a/.install
+++ b/.install
@@ -1,7 +1,7 @@
post_install() {
# Add swish user and group.
- getent group swish &>/dev/null || groupadd -r swish >/dev/null
- getent passwd swish &>/dev/null || useradd -m -d /home/swish \
+ getent group swish 1>/dev/null 2>/dev/null || groupadd -r swish >/dev/null
+ getent passwd swish 1>/dev/null 2>/dev/null || useradd -m -d /home/swish \
-r -g swish swish >/dev/null
chown -R swish:swish /usr/share/swish
diff --git a/PKGBUILD b/PKGBUILD
index 4e59bd1703e8..3346dca227e0 100644
--- a/PKGBUILD
+++ b/PKGBUILD
@@ -1,16 +1,20 @@
# Maintainer: Franco Masotti <franco dot masotti at student dot unife dot it>
# Contributor: Franco Masotti <franco dot masotti at student dot unife dot it>
pkgname=swish
-pkgver=r1170.dacea67
+pkgver=r1360.237320c
pkgrel=1
pkgdesc="SWI-Prolog for SHaring: a SWI-Prolog web IDE"
arch=('x86_64')
url="https://github.com/SWI-Prolog/swish"
license=('BSD')
-depends=('libxinerama'
+depends=('bash'
+ 'coreutils'
+ 'gawk'
+ 'libxinerama'
'libxpm'
'swi-prolog-devel')
makedepends=('git'
+ 'make'
'bower'
'sed')
conflicts=('swish-cplint'
diff --git a/run.sh b/run.sh
index f4309db4493d..3107282e6b55 100755
--- a/run.sh
+++ b/run.sh
@@ -1,4 +1,4 @@
-#!/usr/bin/env sh
+#!/usr/bin/env bash
#
# run.sh
@@ -53,7 +53,7 @@ killd()
# kill action only if process exists.
if [ -f "$pid_file" ]; then
pid=$(cat "$pid_file")
- ps -q $pid > /dev/null
+ ps -p $pid > /dev/null
if [ $? -eq 0 ]; then
kill -s TERM $pid
fi