Permalink
Fetching contributors…
Cannot retrieve contributors at this time
32 lines (24 sloc) 671 Bytes
FROM mono:5.12.0.226
RUN apt update \
&& apt install -y \
python3-pip \
git
RUN pip3 install --upgrade setuptools pip && pip3 install jupyter
WORKDIR /
RUN git clone https://github.com/fsprojects/IfSharp.git
RUN mkdir notebooks
VOLUME notebooks
RUN useradd -ms /bin/bash ifsharp-user
RUN chown -R ifsharp-user /notebooks && chown -R ifsharp-user /IfSharp
USER ifsharp-user
WORKDIR /IfSharp
RUN ./build.sh
RUN mono bin/ifsharp.exe --install
EXPOSE 8888
ENTRYPOINT ["jupyter", \
"notebook", \
"--no-browser", \
"--ip='*'", \
"--port=8888", \
"--notebook-dir=/notebooks" \
]