Chris Smith 4c93433331

Fix ports in the docker instructions ...

-P/--publish-all publishes the container ports on a random
host port, which you have to look up using `docker port`.

In the common case they should be published on the same ports.

2019-11-22 21:05:49 +00:00

..

docker

Fix ports in the docker instructions

2019-11-22 21:05:49 +00:00