mirror of
https://github.com/Aider-AI/aider.git
synced 2025-05-30 17:24:59 +00:00
feat: Add repo-map refresh information to output
This commit is contained in:
parent
022d103a99
commit
77be2b37d3
2 changed files with 3 additions and 1 deletions
|
@ -230,7 +230,8 @@ class Coder:
|
|||
if self.repo_map:
|
||||
map_tokens = self.repo_map.max_map_tokens
|
||||
if map_tokens > 0:
|
||||
lines.append(f"Repo-map: using {map_tokens} tokens")
|
||||
refresh = self.repo_map.refresh
|
||||
lines.append(f"Repo-map: using {map_tokens} tokens, {refresh} refresh")
|
||||
max_map_tokens = 2048
|
||||
if map_tokens > max_map_tokens:
|
||||
lines.append(
|
||||
|
|
|
@ -545,6 +545,7 @@ def main(argv=None, input=None, output=None, force_git_root=None, return_coder=F
|
|||
if return_coder:
|
||||
return coder
|
||||
|
||||
io.tool_output()
|
||||
coder.show_announcements()
|
||||
|
||||
if args.show_prompts:
|
||||
|
|
Loading…
Add table
Add a link
Reference in a new issue