fix: make external_directory permission wildcarding more sane

2025-11-19 12:54:52 -06:00
parent 3577c7c382
commit 500b5d85b4
5 changed files with 5 additions and 5 deletions
@@ -58,7 +58,7 @@ export const PatchTool = Tool.define("patch", {
        if (agent.permission.external_directory === "ask") {
          await Permission.ask({
            type: "external_directory",
-            pattern: parentDir,
+            pattern: [parentDir, path.join(parentDir, "*")],
            sessionID: ctx.sessionID,
            messageID: ctx.messageID,
            callID: ctx.callID,