remote cli: do not sync installed extensions

This commit is contained in:
Martin Aeschlimann
2021-01-22 15:49:07 +01:00
parent 5809e9eb03
commit f123c904b1

View File

@@ -39,7 +39,7 @@ CommandsRegistry.registerCommand('_remoteCLI.manageExtensions', async function (
const revive = (inputs: (string | UriComponents)[]) => inputs.map(input => isString(input) ? input : URI.revive(input));
if (Array.isArray(args.install) && args.install.length) {
try {
await cliService.installExtensions(revive(args.install), [], false, !!args.force, output);
await cliService.installExtensions(revive(args.install), [], true, !!args.force, output);
} catch (e) {
lines.push(e.message);
}