search

eclipse-theia / theia

Eclipse Theia is a cloud & desktop IDE framework implemented in TypeScript.
http://theia-ide.org
Eclipse Public License 2.0
19.38k stars 2.45k forks source link

VSX Registry: add version support to the workbench.extensions.installExtension command #13795

Open safisa opened 3 weeks ago

safisa commented 3 weeks ago

Bug Description:

Hi, The vscode builtin command workbench.extensions.installExtension supports specifying the extension version as part of the extension id: extId@version In Theia this pattern is not supported.

See this vscode PR: https://github.com/microsoft/vscode/pull/136314

Additional Information