fix(plugin): user plugins override built-in plugins for same provider (#12361)

This commit is contained in:
Rafi Khardalian 2026-02-05 14:04:02 -08:00 committed by GitHub
parent 28c8182bd5
commit 09a0e921ce
No known key found for this signature in database
GPG Key ID: B5690EEEBB952194

View File

@ -44,11 +44,12 @@ export namespace Plugin {
hooks.push(init)
}
const plugins = [...(config.plugin ?? [])]
if (plugins.length) await Config.waitForDependencies()
const plugins: string[] = []
if (!Flag.OPENCODE_DISABLE_DEFAULT_PLUGINS) {
plugins.push(...BUILTIN)
}
plugins.push(...(config.plugin ?? []))
if (plugins.length) await Config.waitForDependencies()
for (let plugin of plugins) {
// ignore old codex plugin since it is supported first party now