Browse Source

Updated to new version.

master
Franco Masotti 6 years ago
parent
commit
f167ae8afd
  1. 10
      PKGBUILD
  2. 10
      rserve-sandbox-docker.service
  3. 4
      run.sh

10
PKGBUILD

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

10
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

4
run.sh

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

Loading…
Cancel
Save