How do I use nodejs 12.0.0 for theiaide/theia-full docker image?

[original thread by Samuel Corsi-House]

Theia cannot run on Node.js 12 currently. It should be possible though to use one version of Node to start Theia and another Node version configured on PATH for user processes. It would reuire refactoring theia-full docker image.

Could you file an issue for theia-apps?

[Samuel Corsi-House]