forked from moves-rwth/stormpy
/
Dockerfile
44 lines (33 loc) · 815 Bytes
/
Dockerfile
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
FROM movesrwth/stormpy:1.6.0
MAINTAINER Matthias Volk <matthias.volk@cs.rwth-aachen.de>
##########
# Create user
##########
ARG NB_USER=jovyan
ARG NB_UID=1000
ENV USER ${NB_USER}
ENV NB_UID ${NB_UID}
ENV HOME /home/${NB_USER}
RUN adduser --disabled-password \
--gecos "Default user" \
--uid ${NB_UID} \
${NB_USER}
# Change the owner of the virtual environment
WORKDIR /opt
USER root
RUN chown -R ${NB_UID} venv
USER ${NB_USER}
WORKDIR ${HOME}
# Add missing path
ENV PATH="$HOME/.local/bin:$PATH"
##########
# Install dependencies
##########
RUN pip install --no-cache-dir notebook==5.7.9
##########
# Copy files for notebooks
##########
RUN mkdir notebooks
COPY doc/source/*.ipynb notebooks/
COPY doc/source/doc/*.ipynb notebooks/doc/
COPY doc/source/doc/models/*.ipynb notebooks/doc/models/