The watch-files suspended during /run command

[aweis89]

Issue

It seems like Aider ignores file changes if they're made during a /run command

Reproduce steps

• Create a file with a valid Aider comment (e.x. -- ai?)
• Start up Aider with --watch-files (after comment creation)
• Run in Aider /run touch <path with ai comment> (in-order to trigger Aider to process the comment)

Aider will never process the AI comment. Although if you run the same command in a another terminal, Aider does process the comment as expected.

Version and model info

Aider v0.69.1
Model: gemini/gemini-exp-1206 with whole edit format
Git repo: .git with 19 files
Repo-map: using 1024 tokens, files refresh

[paul-gauthier]

Thanks for trying aider and filing this issue.

Yes, aider only watches for changes when it is waiting for your input at the aider > prompt.

[aweis89]

Thanks for trying aider and filing this issue.

Yes, aider only watches for changes when it is waiting for your input at the aider > prompt.

Would you perhaps be open to a PR that add the command /process-comments <files> to explicitly tell Aider to process a file's comments (whether or not --watch-files is enabled)?

This can potentially be more useful for plugins for the following reasons:

• Plugins can tell Aider to process a file when qualifying comments are written before Aider startup (e.x. if they auto-start aider when the first qualifying comments are written)
• IDE's often have hooks for post-save they can use to trigger this new command for the written file, eliminating the need for file watching entirely
• IDE's are often already running treesitter which can be used to efficiently query for comments (without needing to re-read the entire file or preform a regex search on the entire file after each write)

Aside from plugin integration, it could also be used as a more manual approach instead of using --watch-file in-order to reduce Aider's resource usage, particularly with code-bases that have lots of large files.

Btw, thanks for this wonderful tool @paul-gauthier !