(p: ToolProps)
| 312 | } |
| 313 | |
| 314 | function runList(p: ToolProps): ToolInline { |
| 315 | const dir = text(dict(p.input).path) |
| 316 | return { |
| 317 | icon: "→", |
| 318 | title: dir ? `List ${toolPath(dir)}` : "List", |
| 319 | } |
| 320 | } |
| 321 | |
| 322 | function runRead(p: ToolProps<typeof ReadTool>): ToolInline { |
| 323 | const file = toolPath(p.input.filePath) |