fix: add installed extensions to the ext list if missing (#2261)

This commit is contained in:
Vlad Stan 2024-02-12 16:33:28 +02:00 committed by GitHub
parent 11173e6460
commit 20e70854a1
No known key found for this signature in database
GPG Key ID: B5690EEEBB952194

View File

@ -95,11 +95,10 @@ async def extensions_install(
installed_exts: List["InstallableExtension"] = await get_installed_extensions()
installed_exts_ids = [e.id for e in installed_exts]
installable_exts: List[
InstallableExtension
] = await InstallableExtension.get_installable_extensions()
installable_exts = await InstallableExtension.get_installable_extensions()
installable_exts_ids = [e.id for e in installable_exts]
installable_exts += [
e for e in installed_exts if e.id not in installed_exts_ids
e for e in installed_exts if e.id not in installable_exts_ids
]
for e in installable_exts: