(cmd: string)
| 322 | |
| 323 | const SHELL_TOOL_NAMES = ['run_shell_command', 'ShellTool']; |
| 324 | const normalize = (cmd: string): string => cmd.trim().replace(/\s+/g, ' '); |
| 325 | |
| 326 | const isPrefixedBy = (cmd: string, prefix: string): boolean => { |
| 327 | if (!cmd.startsWith(prefix)) { |
no outgoing calls
no test coverage detected