diff --git a/drake/doc/docker.rst b/drake/doc/docker.rst index d87e1966fce8..db8763cab4ae 100644 --- a/drake/doc/docker.rst +++ b/drake/doc/docker.rst @@ -46,11 +46,13 @@ The Dockerfile will copy the directory into the Docker container. :: + $ docker build -t drake -f setup/docker/Dockerfile . If successful :: + $ docker images should show an image named drake. @@ -58,6 +60,7 @@ should show an image named drake. Note: :: + $ docker ps will show any running drake containers on your system.