mirrors/IHaskell
1
0
Fork 0
mirror of https://github.com/IHaskell/IHaskell.git synced 2025-04-19 12:56:08 +00:00
Code Issues Packages Projects Releases Wiki Activity

Dockerfile: copy jupyterlab-ihaskell over harder

Browse Source
This commit is contained in:
Vaibhav Sagar 2021-09-12 04:25:36 +10:00
parent ad27358455
commit 7dcbcb7239
2 changed files with 2 additions and 0 deletions
.github/workflows
docker.yml
Dockerfile

1
.github/workflows/docker.yml vendored

@ -27,3 +27,4 @@ jobs:
username: ${{ secrets.DOCKER_USERNAME }}
password: ${{ secrets.DOCKER_PASSWORD }}
snapshot: true
cache: true

1
Dockerfile

@ -87,6 +87,7 @@ RUN stack exec env --system-ghc > ${IHASKELL_DATA_DIR}/env
# Install + setup IHaskell
COPY --from=builder --chown=${NB_UID} /build/bin/ihaskell /usr/local/bin/
COPY --from=builder --chown=${NB_UID} /build/html ${IHASKELL_DATA_DIR}/html
COPY --from=builder --chown=${NB_UID} /build/jupyterlab-ihaskell ${IHASKELL_DATA_DIR}/jupyterlab-ihaskell
RUN export ihaskell_datadir=${IHASKELL_DATA_DIR} && \
ihaskell install --env-file ${IHASKELL_DATA_DIR}/env
RUN jupyter notebook --generate-config