1 files changed, 0 insertions, 21 deletions
diff --git a/docker/crupest-debian-dev/Dockerfile b/docker/crupest-debian-dev/Dockerfile
deleted file mode 100644
index 95f0602..0000000
--- a/docker/crupest-debian-dev/Dockerfile
+++ /dev/null
@@ -1,21 +0,0 @@
-FROM debian:latest
-
-ARG USER=crupest
-ARG IN_CHINA=
-ARG CODE_SERVER=true
-
-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
-
-RUN /bootstrap/setup.bash
-ENV LANG=en_US.utf8
-
-USER ${USER}
-WORKDIR /home/${USER}
-
-EXPOSE 8080
-VOLUME [ "/data", "/home/${USER}" ]
-CMD [ "bash", "-l" ]