chore(shell): Enable interactive shell by default (#10661)

This commit is contained in:
Gal Zahavi
2025-10-08 13:28:19 -07:00
committed by GitHub
parent b0b1be0c2a
commit 467a305f26
12 changed files with 19 additions and 18 deletions
+2 -2
View File
@@ -206,8 +206,8 @@ Settings are organized into categories. All settings should be placed within the
- **Default:** `undefined`
- **`tools.shell.enableInteractiveShell`** (boolean):
Use `node-pty` for an interactive shell experience. Fallback to `child_process` still applies. Defaults to `false`.
- **Description:** Enables interactive terminal for running shell commands. If an interactive session cannot be started, it will fall back to a standard shell.
- **Default:** `true`
- **`tools.core`** (array of strings):
- **Description:** This can be used to restrict the set of built-in tools [with an allowlist](../cli/enterprise.md#restricting-tool-access). See [Built-in Tools](../core/tools-api.md#built-in-tools) for a list of core tools. The match semantics are the same as `tools.allowed`.