1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
|
FROM continuumio/miniconda3:4.10.3
ARG DEBIAN_FRONTEND=noninteractive
ARG USER=user
ARG GROUP=user
ARG UID
ARG GID
ENV TERM="xterm-256color"
ENV HOME="/home/user"
RUN set -x \
&& mkdir -p ${HOME}/src \
&& \
if [ -z "$(getent group ${GID})" ]; then \
addgroup --system --gid ${GID} ${GROUP}; \
else \
groupmod -n ${GROUP} $(getent group ${GID} | cut -d: -f1); \
fi \
&& \
if [ -z "$(getent passwd ${UID})" ]; then \
useradd \
--system \
--create-home --home-dir ${HOME} \
--shell /bin/bash \
--gid ${GROUP} \
--groups sudo \
--uid ${UID} \
${USER}; \
fi \
&& touch ${HOME}/.hushlogin
RUN set -x \
&& chown -R ${USER}:${GROUP} ${HOME}
COPY environment.yml ${HOME}/src/
WORKDIR ${HOME}/src
RUN set -x \
&& conda env create docs
USER ${USER}
RUN set -x \
&& conda init bash \
&& echo "conda activate docs" >> ${HOME}/.bashrc
CMD bash -c "set -x \
&& source ${HOME}/.bashrc \
&& cd ${HOME}/src/docs \
&& rm -rf build \
&& make autobuild \
"
|
