diff options
| author | crupest <crupest@outlook.com> | 2024-08-13 22:45:45 +0800 | 
|---|---|---|
| committer | crupest <crupest@outlook.com> | 2024-08-14 00:28:53 +0800 | 
| commit | 467820bc366e46fd07651e0cb647b623b8f5ff56 (patch) | |
| tree | e066917d00637299b80c9251174d3591ba6d1a81 /docker/debian-dev/Dockerfile | |
| parent | bb241f176557341187575c5d74049d4e358d7cd3 (diff) | |
| download | crupest-467820bc366e46fd07651e0cb647b623b8f5ff56.tar.gz crupest-467820bc366e46fd07651e0cb647b623b8f5ff56.tar.bz2 crupest-467820bc366e46fd07651e0cb647b623b8f5ff56.zip  | |
feat(docker/debian-dev): remove code-server and merge it to debian-dev.
Diffstat (limited to 'docker/debian-dev/Dockerfile')
| -rw-r--r-- | docker/debian-dev/Dockerfile | 10 | 
1 files changed, 6 insertions, 4 deletions
diff --git a/docker/debian-dev/Dockerfile b/docker/debian-dev/Dockerfile index ce0b10c..dd81997 100644 --- a/docker/debian-dev/Dockerfile +++ b/docker/debian-dev/Dockerfile @@ -1,18 +1,20 @@ -FROM debian:11 +FROM debian:latest  ARG USERNAME=  ARG IN_CHINA= -ARG SETUP_SBUILD= +ARG SETUP_CODE_SERVER=true  ENV USERNAME=${USERNAME}  ENV IN_CHINA=${IN_CHINA} -ENV SETUP_SBUILD=${SETUP_SBUILD} +ENV SETUP_CODE_SERVER=${SETUP_CODE_SERVER}  ADD bootstrap /bootstrap +ENV LANG=en_US.utf8  RUN /bootstrap/setup.bash  USER ${USERNAME} -VOLUME [ "/source", "/data", "/share" ] +EXPOSE 8080 +VOLUME [ "/data" ]  CMD [ "bash", "-l" ]  | 
