eclipse-theia / theia-ide

The Eclipse IDE is a modern and open IDE for cloud and desktop. The Theia IDE is based on the Theia platform. The Theia IDE is available as a downloadable desktop application. You can also try the latest version of the Theia IDE online. For more details, see the Readme below.
https://theia-ide.org/#theiaide
MIT License
343 stars 129 forks source link

Supports the provision of an optimal lightweight version for use by experienced developers #381

Open zhouxinghong opened 2 months ago

zhouxinghong commented 2 months ago

Feature Description:

Supports the provision of an optimal lightweight version for use by experienced developers

Hello! Please support the provision of an optimal lightweight version without any default extensions (like VSCode) for experienced developers, as this would have the advantage of minimizing the size of Theia to save disk space and network download traffic, and developers would only need to install their own extensions on-demand or according to the documentation of the programming language. Another benefit is that it makes it easier to track down IDE or extension compatibility issues.