diff options
Diffstat (limited to 'docker/debian-dev/Dockerfile')
-rw-r--r-- | docker/debian-dev/Dockerfile | 20 |
1 files changed, 0 insertions, 20 deletions
diff --git a/docker/debian-dev/Dockerfile b/docker/debian-dev/Dockerfile deleted file mode 100644 index dd81997..0000000 --- a/docker/debian-dev/Dockerfile +++ /dev/null @@ -1,20 +0,0 @@ -FROM debian:latest - -ARG USERNAME= -ARG IN_CHINA= -ARG SETUP_CODE_SERVER=true - -ENV USERNAME=${USERNAME} -ENV IN_CHINA=${IN_CHINA} -ENV SETUP_CODE_SERVER=${SETUP_CODE_SERVER} - -ADD bootstrap /bootstrap - -ENV LANG=en_US.utf8 -RUN /bootstrap/setup.bash - -USER ${USERNAME} - -EXPOSE 8080 -VOLUME [ "/data" ] -CMD [ "bash", "-l" ] |