Frequently Asked Questions
About 154 wordsLess than 1 minute
Frequently Asked Questions collects the pitfalls of Workspaces and how to work around them.
When to use: look these up as needed when you hit a concrete problem in a custom development environment — for example a community code-server bug that breaks WebIDE, which you can work around by temporarily installing a specific version.
How to Install a Specific Version of code-server
Custom development environments use code-server by default for WebIDE. Install with:
curl -fsSL https://code-server.dev/install.sh | shcode-server comes from the community and some versions may have bugs that prevent WebIDE from working. Install a specific version as a temporary workaround, and upgrade after the community fixes the issue:
# Install a specific version, e.g. 4.100.3
curl -fsSL https://code-server.dev/install.sh | sh -s -- --version 4.100.3