fix: correctly pass extension's id when version is also provided

[daiyam]

Hi,

When calling the workbench.extensions.installExtension command to install the extension [email protected],

• the arg argument is split as [id, version] with:

vscode/src/vs/workbench/contrib/extensions/browser/extensions.contribution.ts

Line 408 in 1e352e9

const [id, version] = getIdAndVersion(arg);

• then, the extensionsWorkbenchService.install function is called with:
  • currently, arg ([email protected])
  • with this PR, id (dbaeumer.vscode-eslint)

The install function is expecting an id:

vscode/src/vs/workbench/contrib/extensions/browser/extensionsWorkbenchService.ts

Line 2454 in 1e352e9

installableInfo = { id: arg, version: installOptions.version, preRelease: installOptions.installPreReleaseVersion ?? this.extensionManagementService.preferPreReleases };

[Copilot]

Pull request overview

This PR fixes a bug in the workbench.extensions.installExtension command where the extension ID with version (e.g., [email protected]) was being passed to extensionsWorkbenchService.install() instead of just the ID (e.g., dbaeumer.vscode-eslint). The fix ensures that after splitting the argument into ID and version, only the ID is passed to the install function, while the version is passed separately in the options object.

Key Changes:

• Fixed the workbench.extensions.installExtension command to pass only the extension ID to extensionsWorkbenchService.install() when a version is specified, instead of passing the full argument with version.