mirror of
https://github.com/Aider-AI/aider.git
synced 2025-06-01 02:05:00 +00:00
feat: Add force_refresh option to get_repo_map method
This commit is contained in:
parent
5099a5c24b
commit
ded270ee8b
2 changed files with 3 additions and 4 deletions
|
@ -613,7 +613,7 @@ class Coder:
|
||||||
|
|
||||||
return matches
|
return matches
|
||||||
|
|
||||||
def get_repo_map(self):
|
def get_repo_map(self, force_refresh=False):
|
||||||
if not self.repo_map:
|
if not self.repo_map:
|
||||||
return
|
return
|
||||||
|
|
||||||
|
@ -633,6 +633,7 @@ class Coder:
|
||||||
other_files,
|
other_files,
|
||||||
mentioned_fnames=mentioned_fnames,
|
mentioned_fnames=mentioned_fnames,
|
||||||
mentioned_idents=mentioned_idents,
|
mentioned_idents=mentioned_idents,
|
||||||
|
force_refresh=force_refresh,
|
||||||
)
|
)
|
||||||
|
|
||||||
# fall back to global repo map if files in chat are disjoint from rest of repo
|
# fall back to global repo map if files in chat are disjoint from rest of repo
|
||||||
|
|
|
@ -1049,9 +1049,7 @@ class Commands:
|
||||||
"Force a refresh of the repository map and print it out"
|
"Force a refresh of the repository map and print it out"
|
||||||
repo_map = self.coder.get_repo_map(force_refresh=True)
|
repo_map = self.coder.get_repo_map(force_refresh=True)
|
||||||
if repo_map:
|
if repo_map:
|
||||||
self.io.tool_output(repo_map)
|
self.io.tool_output("The repo map has been refreshed, use /map to view it.")
|
||||||
else:
|
|
||||||
self.io.tool_output("No repository map available.")
|
|
||||||
|
|
||||||
|
|
||||||
def expand_subdir(file_path):
|
def expand_subdir(file_path):
|
||||||
|
|
Loading…
Add table
Add a link
Reference in a new issue