Docker Image for Binder

Note that due to Binder conventions, this directory MUST always be in the root of the repository and named either binder or .binder. This image is NOT intended for use by most developers or users. Please use the robotlocomotion/drake image from Docker Hub instead.

To create a Docker image and run a Docker container similar to those used by Binder for debugging purposes, execute the following commands from the top level of the Drake Git repository:

docker build -f .binder/Dockerfile -t binder .
docker run --name mybinder -p 8888:8888 binder

Copy and paste the URL (including the login token) that is displayed in the terminal into the web browser of your choice.

To stop the running container, execute the following command in a new terminal:

docker stop mybinder