diff --git a/aider/coders/base_coder.py b/aider/coders/base_coder.py index a571c8c59..db8774747 100755 --- a/aider/coders/base_coder.py +++ b/aider/coders/base_coder.py @@ -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( diff --git a/aider/main.py b/aider/main.py index 0f73897fd..c447f9225 100644 --- a/aider/main.py +++ b/aider/main.py @@ -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: