From 535fdfff3545eb9dbd7ed94c82b4b37c72adc16e Mon Sep 17 00:00:00 2001 From: Paul Gauthier Date: Tue, 6 Aug 2024 09:55:31 -0300 Subject: [PATCH] fix: Improve formatting of system information in prompt --- aider/coders/base_coder.py | 8 ++++---- aider/coders/editblock_prompts.py | 1 - 2 files changed, 4 insertions(+), 5 deletions(-) diff --git a/aider/coders/base_coder.py b/aider/coders/base_coder.py index 24cd565bc..a9186ee8b 100755 --- a/aider/coders/base_coder.py +++ b/aider/coders/base_coder.py @@ -760,21 +760,21 @@ class Coder: def fmt_system_prompt(self, prompt): lazy_prompt = self.gpt_prompts.lazy_prompt if self.main_model.lazy else "" - platform_text = f"- The user's system: {platform.platform()}\n" + platform_text = f"- Platform: {platform.platform()}\n" if os.name == "nt": var = "COMSPEC" else: var = "SHELL" val = os.getenv(var) - platform_text += f"- The user's shell: {var}={val}\n" + platform_text += f"- Shell: {var}={val}\n" user_lang = self.get_user_language() if user_lang: - platform_text += f"- The user's language: {user_lang}\n" + platform_text += f"- Language: {user_lang}\n" dt = datetime.now().astimezone().strftime("%Y-%m-%dT%H:%M:%S%z") - platform_text += f"- The current date/time: {dt}" + platform_text += f"- Current date/time: {dt}" prompt = prompt.format( fence=self.fence, diff --git a/aider/coders/editblock_prompts.py b/aider/coders/editblock_prompts.py index 945fd47eb..af3e4f3b7 100644 --- a/aider/coders/editblock_prompts.py +++ b/aider/coders/editblock_prompts.py @@ -22,7 +22,6 @@ All changes to files must use the *SEARCH/REPLACE block* format. Keep this info about the user's system in mind: {platform} - """ example_messages = [