Merge pull request #1984 from MoerAI/fix/respect-user-external-directory-permission

fix(config): respect user's external_directory permission setting
This commit is contained in:
YeonGyu-Kim
2026-03-02 23:28:22 +09:00
committed by GitHub
2 changed files with 2 additions and 8 deletions
+1 -1
View File
@@ -99,9 +99,9 @@ export function applyToolConfig(params: {
}
params.config.permission = {
...(params.config.permission as Record<string, unknown>),
webfetch: "allow",
external_directory: "allow",
...(params.config.permission as Record<string, unknown>),
task: "deny",
};
}