core/core-agent-ide
8
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions

Skip system skills for extra roots (#12744)

Browse source 
When extra roots is set do not load system skills.
This commit is contained in:
xl-openai 2026-02-25 19:55:28 -08:00 • committed by GitHub
parent b65205fb3d
commit 8cdee988f9
No known key found for this signature in database
GPG key ID: B5690EEEBB952194
1 changed files with 6 additions and 0 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

6
codex-rs/core/src/skills/manager.rs
View file

@ -130,6 +130,12 @@ impl SkillsManager {
}),
);
let mut outcome = load_skills_from_roots(roots);
if !extra_user_roots.is_empty() {
// When extra user roots are provided, skip system skills before caching the result.
outcome
.skills
.retain(|skill| skill.scope != SkillScope::System);
}
outcome.disabled_paths = disabled_paths_from_stack(&config_layer_stack);
let (by_scripts_dir, by_doc_path) =
build_implicit_skill_path_indexes(outcome.allowed_skills_for_implicit_invocation());