diff options
| author | Olcan <[email protected]> | 2025-04-28 15:05:36 -0700 |
|---|---|---|
| committer | GitHub <[email protected]> | 2025-04-28 15:05:36 -0700 |
| commit | 57ceadb7d87b77fda543ee35097e7b68c10f1e5b (patch) | |
| tree | cc8558326ef49fca482537d733cc34968cd40738 /packages/server/src/config/config.ts | |
| parent | 30b04295d2c5b57b55fd4092917978c8ba5ac3ba (diff) | |
switch to shell tool, deprecating terminal (#203)
* switch to shell tool, deprecating terminal
* Merge remote-tracking branch 'origin/main' into deprecate_terminal
Diffstat (limited to 'packages/server/src/config/config.ts')
| -rw-r--r-- | packages/server/src/config/config.ts | 8 |
1 files changed, 4 insertions, 4 deletions
diff --git a/packages/server/src/config/config.ts b/packages/server/src/config/config.ts index 498c7257..6ce9c363 100644 --- a/packages/server/src/config/config.ts +++ b/packages/server/src/config/config.ts @@ -145,11 +145,11 @@ function createToolRegistry(config: Config): ToolRegistry { new ReadManyFilesTool(targetDir), ]; - // use ShellTool (next-gen TerminalTool) if environment variable is set - if (process.env.SHELL_TOOL) { - tools.push(new ShellTool(config)); - } else { + // if TERMINAL_TOOL is set, revert to deprecated TerminalTool + if (process.env.TERMINAL_TOOL) { tools.push(new TerminalTool(targetDir, config)); + } else { + tools.push(new ShellTool(config)); } for (const tool of tools) { |