(toolName: string)
| 292 | } |
| 293 | |
| 294 | function isShell(toolName: string) { |
| 295 | const tool = toolName.toLocaleLowerCase() |
| 296 | return tool === "bash" || tool === "shell" |
| 297 | } |
| 298 | |
| 299 | export const mapToolKind = toToolKind |
| 300 | export const extractLocations = toLocations |