diff options
Diffstat (limited to 'docker/crupest-debian-dev/Dockerfile')
| -rw-r--r-- | docker/crupest-debian-dev/Dockerfile | 14 | 
1 files changed, 7 insertions, 7 deletions
| diff --git a/docker/crupest-debian-dev/Dockerfile b/docker/crupest-debian-dev/Dockerfile index a92ea4f..f7933a7 100644 --- a/docker/crupest-debian-dev/Dockerfile +++ b/docker/crupest-debian-dev/Dockerfile @@ -1,19 +1,19 @@  FROM debian:latest -ARG USERNAME=crupest +ARG USER=crupest  ARG IN_CHINA= -ARG SETUP_CODE_SERVER=true +ARG CODE_SERVER=true -ENV USERNAME=${USERNAME} -ENV IN_CHINA=${IN_CHINA} -ENV SETUP_CODE_SERVER=${SETUP_CODE_SERVER} +ENV CRUPEST_DEBIAN_DEV_USER=${USER} +ENV CRUPEST_DEBIAN_DEV_IN_CHINA=${IN_CHINA} +ENV CRUPEST_DEBIAN_DEV_SETUP_CODE_SERVER=${CODE_SERVER}  ADD bootstrap /bootstrap -ENV LANG=en_US.utf8  RUN /bootstrap/setup.bash +ENV LANG=en_US.utf8 -USER ${USERNAME} +USER ${USER}  EXPOSE 8080  VOLUME [ "/data" ] | 
