diff --git a/packaging/eris-docker b/packaging/eris-docker deleted file mode 100755 index a70ee32..0000000 --- a/packaging/eris-docker +++ /dev/null @@ -1,23 +0,0 @@ -#!/bin/bash - - -set -e - - -DOCKER_IMAGE=eris -ARGS=( $(getopt -u -o hiw:e:t:c: --long help,info,version,workers:,editor:,theme:,compression:,config: -- "$@") ) -if [ "${ARGS[-1]}" == "--" ]; then - OPTION_ARGS="${ARGS[@]:0:${#ARGS[@]}-1}" # ARGS[:-1] - DOCKER_ARGS="$DOCKER_IMAGE $OPTION_ARGS" -elif [ "${ARGS[-2]}" == "--" ]; then - OPTION_ARGS="${ARGS[@]:0:${#ARGS[@]}-2}" # ARGS[:-2] - REAL_PATH=$(realpath "${ARGS[-1]}") - PROJECT=$(basename "$REAL_PATH") - DOCKER_ARGS="-v $REAL_PATH:/tmp/$PROJECT $DOCKER_IMAGE $OPTION_ARGS /tmp/$PROJECT" -else - echo "Usage: - eris [options] - eris -h | --help" - exit 1 -fi -exec docker run -v /etc/passwd:/etc/passwd -u ${UID}:$(id -g) -it --rm $DOCKER_ARGS