mirror of
https://github.com/Aider-AI/aider.git
synced 2025-05-25 14:55:00 +00:00
fixed announcements
This commit is contained in:
parent
d21de778ff
commit
3f5cdb603c
1 changed files with 12 additions and 11 deletions
|
@ -108,8 +108,9 @@ class Coder:
|
||||||
lines.append("Git repo: none")
|
lines.append("Git repo: none")
|
||||||
|
|
||||||
# Repo-map
|
# Repo-map
|
||||||
map_tokens = self.repo_map.max_map_tokens if self.repo_map else 0
|
if self.repo_map:
|
||||||
if map_tokens > 0 and self.repo_map:
|
map_tokens = self.repo_map.max_map_tokens
|
||||||
|
if map_tokens > 0:
|
||||||
lines.append(f"Repo-map: using {map_tokens} tokens")
|
lines.append(f"Repo-map: using {map_tokens} tokens")
|
||||||
max_map_tokens = 2048
|
max_map_tokens = 2048
|
||||||
if map_tokens > max_map_tokens:
|
if map_tokens > max_map_tokens:
|
||||||
|
@ -117,7 +118,7 @@ class Coder:
|
||||||
f"Warning: map-tokens > {max_map_tokens} is not recommended as too much"
|
f"Warning: map-tokens > {max_map_tokens} is not recommended as too much"
|
||||||
" irrelevant code can confuse GPT."
|
" irrelevant code can confuse GPT."
|
||||||
)
|
)
|
||||||
elif not map_tokens:
|
else:
|
||||||
lines.append("Repo-map: disabled because map_tokens == 0")
|
lines.append("Repo-map: disabled because map_tokens == 0")
|
||||||
else:
|
else:
|
||||||
lines.append("Repo-map: disabled")
|
lines.append("Repo-map: disabled")
|
||||||
|
|
Loading…
Add table
Add a link
Reference in a new issue