(p: ToolPermissionProps)
| 957 | } |
| 958 | |
| 959 | function permList(p: ToolPermissionProps): ToolPermissionInfo { |
| 960 | const dir = text(dict(p.input).path) || p.patterns[0] || "" |
| 961 | return { |
| 962 | icon: "→", |
| 963 | title: `List ${toolPath(dir, { home: true })}`, |
| 964 | lines: dir ? [`Path: ${toolPath(dir, { home: true })}`] : [], |
| 965 | } |
| 966 | } |
| 967 | |
| 968 | function permBash(p: ToolPermissionProps<typeof BashTool>): ToolPermissionInfo { |
| 969 | const cmd = p.input.command || "" |