|
3 | 3 | * Licensed under the MIT License. See License.txt in the project root for license information.
|
4 | 4 | *--------------------------------------------------------------------------------------------*/
|
5 | 5 |
|
6 |
| -import { ILocalExtension, IGalleryExtension, InstallOptions, InstallVSIXOptions, UninstallOptions, Metadata, DidUninstallExtensionEvent, InstallExtensionEvent, InstallExtensionResult, UninstallExtensionEvent } from 'vs/platform/extensionManagement/common/extensionManagement'; |
| 6 | +import { ILocalExtension, IGalleryExtension, InstallOptions, InstallVSIXOptions, UninstallOptions, Metadata, DidUninstallExtensionEvent, InstallExtensionEvent, InstallExtensionResult, UninstallExtensionEvent, InstallExtensionInfo } from 'vs/platform/extensionManagement/common/extensionManagement'; |
7 | 7 | import { URI } from 'vs/base/common/uri';
|
8 | 8 | import { ExtensionIdentifier, ExtensionType, IExtensionIdentifier } from 'vs/platform/extensions/common/extensions';
|
9 | 9 | import { ExtensionManagementChannelClient as BaseExtensionManagementChannelClient, ExtensionEventResult } from 'vs/platform/extensionManagement/common/extensionManagementIpc';
|
@@ -76,6 +76,14 @@ export abstract class ProfileAwareExtensionManagementChannelClient extends BaseE
|
76 | 76 | return super.installFromGallery(extension, installOptions);
|
77 | 77 | }
|
78 | 78 |
|
| 79 | + override async installGalleryExtensions(extensions: InstallExtensionInfo[]): Promise<InstallExtensionResult[]> { |
| 80 | + const infos: InstallExtensionInfo[] = []; |
| 81 | + for (const extension of extensions) { |
| 82 | + infos.push({ ...extension, options: { ...extension.options, profileLocation: extension.options?.profileLocation ? (await this.getProfileLocation(extension.options?.profileLocation)) : undefined } }); |
| 83 | + } |
| 84 | + return super.installGalleryExtensions(infos); |
| 85 | + } |
| 86 | + |
79 | 87 | override async uninstall(extension: ILocalExtension, options?: UninstallOptions): Promise<void> {
|
80 | 88 | options = { ...options, profileLocation: await this.getProfileLocation(options?.profileLocation) };
|
81 | 89 | return super.uninstall(extension, options);
|
|
0 commit comments