Use code-server instead of Eclipse Theia

[techwithanirudh]

Code Server is a really good IDE, which runs off of VS Code, and is updated frequently, it would be better if it were used instead of thea.

[struanb]

@techwithanirudh Thanks for your interest in Dockside and for your suggestion. We are interested in prototyping an integration of Code Server (or similar) with Dockside, however it's worth noting that the next major release of Dockside will allow you to access devtainers from within a locally-running VS Code.

We’re interested to know what you think about this and your use case. How are you using Dockside, and will accessing devtainers from VS Code prove a good substitute for running Code Server in-browser?

[struanb]

Today's release https://github.com/newsnowlabs/dockside/releases/tag/v3.0.0, provides integrated support for SSH and, indirectly, VS Code server. This isn't VS Code in the browser, but local VS Code accessing devtainers using VS Code remote development via the Remote SSH extension.

As such, it's a pretty good workaround with more capabilities (and certainly better VS Code extension support, such as for GitHub Copilot) than running VS Code in the browser.

Nevertheless we still plan to prototype an integration of https://github.com/coder/code-server and/or https://github.com/gitpod-io/openvscode-server in due course.