dearwolf/aider
1
0
Fork 0
mirror of https://github.com/Aider-AI/aider.git synced 2025-05-29 00:35:00 +00:00
Code Issues Projects Releases Packages Wiki Activity Actions 3

WIP: Change default history file name to ".aider.history

Browse source
This commit is contained in:
Paul Gauthier 2023-05-09 10:51:43 -07:00
parent 786fb61bad
commit a6b9023079
1 changed files with 1 additions and 1 deletions
Download patch file Download diff file Expand all files Collapse all files

2
main.py
View file

@ -20,7 +20,7 @@ def main():
parser.add_argument(
"--history-file",
metavar="HISTORY_FILE",
default=os.environ.get(f"{env_prefix}HISTORY_FILE", ".coder.history"),
default=os.environ.get(f"{env_prefix}HISTORY_FILE", ".aider.history"),
help=f"Specify the history file (default: .aider.history, ${env_prefix}HISTORY_FILE)",
)
parser.add_argument(