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" ] |