Ignore workspace extensions in user extensions dir (#8084)

This commit is contained in:
christine betts 2025-09-09 20:23:46 -04:00 committed by GitHub
parent 5032b27011
commit a31830a3cb
No known key found for this signature in database
GPG key ID: B5690EEEBB952194

View file

@ -88,6 +88,10 @@ export class ExtensionStorage {
}
export function getWorkspaceExtensions(workspaceDir: string): Extension[] {
// If the workspace dir is the user extensions dir, there are no workspace extensions.
if (path.resolve(workspaceDir) === path.resolve(os.homedir())) {
return [];
}
return loadExtensionsFromDir(workspaceDir);
}