From ded270ee8b90ffbfdee029d750540103ebe2d614 Mon Sep 17 00:00:00 2001 From: Paul Gauthier Date: Sun, 18 Aug 2024 13:07:38 -0700 Subject: [PATCH] feat: Add force_refresh option to get_repo_map method --- aider/coders/base_coder.py | 3 ++- aider/commands.py | 4 +--- 2 files changed, 3 insertions(+), 4 deletions(-) diff --git a/aider/coders/base_coder.py b/aider/coders/base_coder.py index 4edea532c..fc74b7979 100755 --- a/aider/coders/base_coder.py +++ b/aider/coders/base_coder.py @@ -613,7 +613,7 @@ class Coder: return matches - def get_repo_map(self): + def get_repo_map(self, force_refresh=False): if not self.repo_map: return @@ -633,6 +633,7 @@ class Coder: other_files, mentioned_fnames=mentioned_fnames, mentioned_idents=mentioned_idents, + force_refresh=force_refresh, ) # fall back to global repo map if files in chat are disjoint from rest of repo diff --git a/aider/commands.py b/aider/commands.py index 658aa17a9..12f45be27 100644 --- a/aider/commands.py +++ b/aider/commands.py @@ -1049,9 +1049,7 @@ class Commands: "Force a refresh of the repository map and print it out" repo_map = self.coder.get_repo_map(force_refresh=True) if repo_map: - self.io.tool_output(repo_map) - else: - self.io.tool_output("No repository map available.") + self.io.tool_output("The repo map has been refreshed, use /map to view it.") def expand_subdir(file_path):