[docker] Theia development image

[marcdumais-work]

This discussion was started in this PR .

For convenience, here are screen captures:

[marcdumais-work]

@svenefftinge So IIUC the plan would be, when we eventually move non-core extension each to their own repo, they could then have a (single) more specialized dev image, containing specific dependencies (e.g. JDK for the Java extension, clangd for the C/C++ ext, ..). That sounds good to me.

What shall we do in the meantime? Would it be ok to temporarily add the dependencies in the dev image here, when needed (JDK)?

[marcdumais-work]

@akosyakov about running the Electron app in docker: this could be an enabler: #174 . We plan to work on that issue relatively soon.

[svenefftinge]

What shall we do in the meantime? Would it be ok to temporarily add the dependencies in the dev image here, when needed (JDK)?

Yes

[akosyakov]

Could we at least move dev docker files to another folder from the browser example? Like dockerfiles under the root?

[vince-fugnitto]

The issue is now outdated since the example Dockerfile has recently been removed from the repository since it was unmaintained/unused: #6585