b99dee3ac3
This allows environment overrides for our directories. This is advantageous because, apart from the obvious, it means we can set it in the Docker file and not add command line options there. Having the command line option as we did meant that it was impossible to use the Docker image for other commands than `serve` (because that is implied when we see other options on the command line). |
||
|---|---|---|
| .. | ||
| options_common.go | ||
| options_others.go | ||
| options_windows.go | ||
| util.go | ||