Theia: Make it easier to specify the port Theia runs on

[jgbradley1]

I would like to specify the port Theia operates over besides the yarn default (3000), inside a docker image. Following this example, I tried changing the start port in /theia/examples/browser/package.json but it still did not work. Is the use of port 3000 hard-coded somewhere else?

[svenefftinge]

It is a command line argument
E.g.
yarn start --hostname 0.0.0.0 --port 80 path/to/ws

[kittaakos]

Please reopen if necessary.