diff options
| author | JingboWang1997-1 <[email protected]> | 2025-06-11 14:32:23 -0700 |
|---|---|---|
| committer | GitHub <[email protected]> | 2025-06-11 14:32:23 -0700 |
| commit | 6ecdecbdcca59d4daff7ec5921afc746e7d725ab (patch) | |
| tree | 5d51fbb8b19eed975614d5109e5c1ca590cc5d9d /packages/cli/src/config/settings.ts | |
| parent | 122678cc09131ee57dca2714bc94b039c371729b (diff) | |
add excludeTools flag to settings.json config (#957)
Diffstat (limited to 'packages/cli/src/config/settings.ts')
| -rw-r--r-- | packages/cli/src/config/settings.ts | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/packages/cli/src/config/settings.ts b/packages/cli/src/config/settings.ts index 8d8009f9..5e48496e 100644 --- a/packages/cli/src/config/settings.ts +++ b/packages/cli/src/config/settings.ts @@ -29,6 +29,7 @@ export interface Settings { theme?: string; sandbox?: boolean | string; coreTools?: string[]; + excludeTools?: string[]; toolDiscoveryCommand?: string; toolCallCommand?: string; mcpServerCommand?: string; |