Fix rough edges around extension updates (#10926)

This commit is contained in:
Jacob MacDonald
2025-10-10 14:28:13 -07:00
committed by GitHub
parent bf0f61e656
commit a6e00d9183
14 changed files with 404 additions and 105 deletions
+2 -5
View File
@@ -11,8 +11,7 @@ import {
} from '../../ui/state/extensions.js';
import {
copyExtension,
installExtension,
uninstallExtension,
installOrUpdateExtension,
loadExtension,
loadInstallMetadata,
ExtensionStorage,
@@ -65,13 +64,11 @@ export async function updateExtension(
const tempDir = await ExtensionStorage.createTmpDir();
try {
await copyExtension(extension.path, tempDir);
const previousExtensionConfig = await loadExtensionConfig({
extensionDir: extension.path,
workspaceDir: cwd,
});
await uninstallExtension(extension.name, cwd);
await installExtension(
await installOrUpdateExtension(
installMetadata,
requestConsent,
cwd,