|
@@ -113,7 +113,7 @@ export const BashTool = Tool.define("bash", {
|
|
|
if (agent.permission.external_directory === "ask") {
|
|
if (agent.permission.external_directory === "ask") {
|
|
|
await Permission.ask({
|
|
await Permission.ask({
|
|
|
type: "external_directory",
|
|
type: "external_directory",
|
|
|
- pattern: parentDir,
|
|
|
|
|
|
|
+ pattern: [parentDir, path.join(parentDir, "*")],
|
|
|
sessionID: ctx.sessionID,
|
|
sessionID: ctx.sessionID,
|
|
|
messageID: ctx.messageID,
|
|
messageID: ctx.messageID,
|
|
|
callID: ctx.callID,
|
|
callID: ctx.callID,
|