From a6b9023079001e428492e9ebb223fdb73f6b52ed Mon Sep 17 00:00:00 2001 From: Paul Gauthier Date: Tue, 9 May 2023 10:51:43 -0700 Subject: [PATCH] WIP: Change default history file name to ".aider.history --- main.py | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/main.py b/main.py index 4203424a5..9e13a041c 100644 --- a/main.py +++ b/main.py @@ -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(