FROM debian:latest

ARG USERNAME=crupest
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" ]