fix: ensure new permissions changes work for special case bash commands like rm, cd, etc

This commit is contained in:
Aiden Cline
2026-01-01 17:27:23 -06:00
parent 7760b33956
commit 76186d19f3
2 changed files with 31 additions and 1 deletions

View File

@@ -119,7 +119,7 @@ export const BashTool = Tool.define("bash", async () => {
process.platform === "win32" && resolved.match(/^\/[a-z]\//)
? resolved.replace(/^\/([a-z])\//, (_, drive) => `${drive.toUpperCase()}:\\`).replace(/\//g, "\\")
: resolved
directories.add(normalized)
if (!Filesystem.contains(Instance.directory, normalized)) directories.add(normalized)
}
}
}