Skip to content

Instantly share code, notes, and snippets.

@schluppeck

schluppeck/Pluto-with-julia-docker.md

Created September 4, 2020 14:14
Show Gist options
  • Save schluppeck/b488336ed86f93410b81d0f0b6253f7f to your computer and use it in GitHub Desktop.
Save schluppeck/b488336ed86f93410b81d0f0b6253f7f to your computer and use it in GitHub Desktop.
Download ZIP
running pluto.jl in a docker container
Raw
Pluto-with-julia-docker.md

What's this?

  • assuming macos / linux but may work in Windows Terminal, too, if you have Docker Desktop installed
cd ~/julia
# run container / default UID / GID
docker run -it --rm  \
  -p 1234:1234 \
  --user 1000:1000 \
  --mount type=bind,source="$(pwd)",target=/notebooks \
  plutojl/pluto:latest
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment