dip

old school recipes for janitorial snafu.
git clone git://git.ricketyspace.net/dip.git
Log | Files | Refs

commit 29ca2c12a907f4f7018241829673ca2aa7403446
parent 4d4156ba8887e9595f6cba6c739205f47ac8e6a7
Author: rsiddharth <s@ricketyspace.net>
Date:   Fri,  2 Nov 2018 18:36:29 -0400

Remove usr/local/bin/R.

Diffstat:
usr/local/bin/R | 22----------------------
1 file changed, 0 insertions(+), 22 deletions(-)

diff --git a/usr/local/bin/R b/usr/local/bin/R @@ -1,22 +0,0 @@ -#!/bin/sh -# -# License: CC0-1.0 -# - -# working directory. -WD='/opt/src' - -# volume. -if [ ! -z $1 ]; then - V_OPT='--volume='$1':'$WD -else - V_OPT='--volume=/tmp:'$WD -fi - -# command -CMD='R' -if [ ! -z $2 ]; then - CMD=$2 -fi - -docker run --rm -it --workdir=$WD $V_OPT r-base:latest $CMD