commit 1b695b7edbc957f6d819ccfeecde4303fab30189
author rspier <rspier@google.com> Tue Nov 04 23:03:22 2014 +0000
committer rspier <rspier@google.com> Tue Nov 04 23:03:22 2014 +0000
tree 059a46d831c5382db4d93d22160378db9e152fc4
parent 11624685a147f1528182ad61567431e3aea958a3

Edited wiki page Docker through web user interface.

Docker.wiki

diff --git a/Docker.wiki b/Docker.wiki
index 57b51f8..6ae9219 100644
--- a/Docker.wiki
+++ b/Docker.wiki
@@ -8,7 +8,7 @@
 = Details =
 
    * run `make docker` to enter the pre-built docker container.
-
    * run `make local-docker` to build a new local docker image.
+   * the 'docker' user must be able to read your source tree.
 
    * Use http://askubuntu.com/questions/477551/how-can-i-use-docker-without-sudo so you don't have to use root to access the container.
\ No newline at end of file