diff options
author | Franco Masotti | 2017-03-09 15:07:55 +0100 |
---|---|---|
committer | Franco Masotti | 2017-03-09 15:07:55 +0100 |
commit | f167ae8afd9f964de7f4615d5bd70ec79765edcd (patch) | |
tree | cb2ece472bd82f0cddd14b34d9f59a108ad36107 | |
parent | d0e694896039fc52ecc3ebaa5e026e497d15517d (diff) | |
download | aur-f167ae8afd9f964de7f4615d5bd70ec79765edcd.tar.gz |
Updated to new version.
-rw-r--r-- | PKGBUILD | 10 | ||||
-rw-r--r-- | rserve-sandbox-docker.service | 10 | ||||
-rwxr-xr-x | run.sh | 4 |
3 files changed, 15 insertions, 9 deletions
@@ -2,13 +2,17 @@ # Contributor: Franco Masotti <franco dot masotti at student dot unife dot it> pkgname=rserve-sandbox-docker-bin pkgver=r6.fb0ec65 -pkgrel=1 +pkgrel=2 pkgdesc="Pre-compiled version of a Docker spec for running Rserve in a sandbox" arch=('x86_64') url="https://gitlab.com/frnmst/rserve-sandbox-bin" license=('BSD') -depends=('r' - 'docker') +depends=('bash' + 'coreutils' + 'docker' + 'gawk' + 'make' + 'r') makedepends=('git' 'sed') conflicts=('rserve-sandbox-docker') diff --git a/rserve-sandbox-docker.service b/rserve-sandbox-docker.service index d655e1da0fc1..add10c7f9d5e 100644 --- a/rserve-sandbox-docker.service +++ b/rserve-sandbox-docker.service @@ -3,24 +3,26 @@ # # Copyright (C) 2016 frnmst (Franco Masotti) <franco.masotti@student.unife.it> # -# This file is part of cplint-installer. +# This file is part of swish-installer. # -# cplint-installer is free software: you can redistribute it and/or modify +# swish-installer is free software: you can redistribute it and/or modify # it under the terms of the GNU General Public License as published by # the Free Software Foundation, either version 3 of the License, or # (at your option) any later version. # -# cplint-installer is distributed in the hope that it will be useful, +# swish-installer is distributed in the hope that it will be useful, # but WITHOUT ANY WARRANTY; without even the implied warranty of # MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the # GNU General Public License for more details. # # You should have received a copy of the GNU General Public License -# along with cplint-installer. If not, see <http://www.gnu.org/licenses/>. +# along with swish-installer. If not, see <http://www.gnu.org/licenses/>. # # # To be placed in /usr/lib/systemd/system/rserve-sandbox-docker.service +# or /lib/systemd/system/rserve-sandbox-docker.service +# depending on your GNU/Linux distribution [Unit] Description=Docker spec for running Rserve in a sandbox @@ -1,4 +1,4 @@ -#!/usr/bin/env sh +#!/usr/bin/env bash # # run.sh @@ -77,7 +77,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 make -C "$pkg_dir" stop fi |