mirror of
https://github.com/Aider-AI/aider.git
synced 2025-06-01 02:05:00 +00:00
feat: Add --map-refresh switch and pass it into RepoMap.refresh
This commit is contained in:
parent
79d97240f1
commit
27a7102ad4
1 changed files with 6 additions and 0 deletions
|
@ -201,6 +201,12 @@ def get_parser(default_config_files, git_root):
|
||||||
default=None,
|
default=None,
|
||||||
help="Max number of tokens to use for repo map, use 0 to disable (default: 1024)",
|
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(
|
group.add_argument(
|
||||||
"--max-chat-history-tokens",
|
"--max-chat-history-tokens",
|
||||||
type=int,
|
type=int,
|
||||||
|
|
Loading…
Add table
Add a link
Reference in a new issue