James Hillyerd 86c8ccf9ea docker: Update for environment config for #86 ...

- Change to default ports (less surprising)
- Drop `/con/` volume naming, never caught on

2018-03-25 15:39:04 -07:00

..

defaults

docker: Update for environment config for #86

2018-03-25 15:39:04 -07:00

docker-run.sh

Docker best practices

2016-02-23 22:09:39 -08:00

install.sh

docker: Update for environment config for #86

2018-03-25 15:39:04 -07:00