diff --git a/Dockerfile b/Dockerfile new file mode 100644 index 0000000..867264b --- /dev/null +++ b/Dockerfile @@ -0,0 +1,15 @@ +# Copyright (C) 2020 Andrew Hamilton. All rights reserved. +# Licensed under the Artistic License 2.0. + + +FROM ubuntu:eoan + +RUN apt update && apt install -y git sudo +RUN git clone https://github.com/ahamilton/eris +RUN cd eris && git checkout b696c65f4cec1ae53a3d49352dd1380a6a8f9510 +RUN rm -rf eris/.git +RUN DEBIAN_FRONTEND=noninteractive apt install -y tzdata +RUN cd eris && ./install-dependencies +RUN python3.7 -m pip install ./eris + +ENTRYPOINT ["eris"] diff --git a/eris-docker b/eris-docker new file mode 100755 index 0000000..9f805e3 --- /dev/null +++ b/eris-docker @@ -0,0 +1,26 @@ +#!/bin/bash + +# Copyright (C) 2020 Andrew Hamilton. All rights reserved. +# Licensed under the Artistic License 2.0. + + +set -e + + +DOCKER_IMAGE=eris +ARGS=( $(getopt -u -o hw:e:t:c: --long help,workers:,editor:,theme:,compression: -- "$@") ) +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