3 commits

Author	SHA1	Message	Date
Jyri-Petteri Paloposki	4d65a8f761	Overhaul the environment system in bin/ to make the defaults easier to understand. Update the installation instructions. ... Fixes #2170, #2372, #2329, #2368	2020-07-19 17:20:35 +03:00
Matt Rogers	ec2b6cf22e	Publish ports based on environment variable ... Allows two things: 1. Access a running server from outside the docker container 2. Run both a console and a server at the same time, for debugging or whatever else.	2018-07-21 10:18:31 -05:00
Matt Rogers	faceaac874	Modify the binstubs to run things in docker	2018-05-02 16:08:41 -05:00