rename remote commands to _remoteCLI

This commit is contained in:
Martin Aeschlimann
2021-01-18 16:15:09 +01:00
parent bf90bd1518
commit 97f237272c
2 changed files with 4 additions and 4 deletions

View File

@@ -12,7 +12,7 @@ import { IOpenerService } from 'vs/platform/opener/common/opener';
// this class contains the command that the CLI server is reying on
CommandsRegistry.registerCommand('_cli.openExternal', function (accessor: ServicesAccessor, uri: UriComponents, options: { allowTunneling?: boolean }) {
CommandsRegistry.registerCommand('_remoteCLI.openExternal', function (accessor: ServicesAccessor, uri: UriComponents, options: { allowTunneling?: boolean }) {
// TODO: discuss martin, ben where to put this
const openerService = accessor.get(IOpenerService);
openerService.open(URI.revive(uri), { openExternal: true, allowTunneling: options?.allowTunneling === true });
@@ -25,7 +25,7 @@ interface ManageExtensionsArgs {
force?: boolean;
}
CommandsRegistry.registerCommand('_cli.manageExtensions', async function (accessor: ServicesAccessor, args: ManageExtensionsArgs) {
CommandsRegistry.registerCommand('_remoteCLI.manageExtensions', async function (accessor: ServicesAccessor, args: ManageExtensionsArgs) {
const cliService = accessor.get(IExtensionManagementCLIService);