mcas/pluto

By mcas

Updated about 2 years ago

Docker with Pluto.jl

Image
0

49

Build image with this repository : https://github.com/fonsp/PlutoUtils.jl/tree/master/docker/default


FROM julia:latest

ENV USER pluto
ENV USER_HOME_DIR /home/${USER}
ENV JULIA_DEPOT_PATH ${USER_HOME_DIR}/.julia
ENV NOTEBOOK_DIR ${USER_HOME_DIR}/notebooks
ENV JULIA_NUM_THREADS 100

RUN useradd -m -d ${USER_HOME_DIR} ${USER} \
    && mkdir ${NOTEBOOK_DIR}

COPY prestartup.jl ${USER_HOME_DIR}/
COPY startup.jl ${USER_HOME_DIR}/

RUN julia ${USER_HOME_DIR}/prestartup.jl \
    && chown -R ${USER} ${USER_HOME_DIR}
USER ${USER}

EXPOSE 1234
VOLUME ${NOTEBOOK_DIR}
WORKDIR ${NOTEBOOK_DIR}

CMD [ "julia", "/home/pluto/startup.jl" ]

Docker Pull Command

docker pull mcas/pluto