feat: Add --map-refresh switch and pass it into RepoMap.refresh

This commit is contained in:
Paul Gauthier (aider) 2024-08-17 06:32:34 -07:00
parent 79d97240f1
commit 27a7102ad4

View file

@ -201,6 +201,12 @@ def get_parser(default_config_files, git_root):
default=None,
help="Max number of tokens to use for repo map, use 0 to disable (default: 1024)",
)
group.add_argument(
"--map-refresh",
choices=["auto", "always", "files", "manual"],
default="auto",
help="Control when the repo map is refreshed (default: auto)",
)
group.add_argument(
"--max-chat-history-tokens",
type=int,