Browse Source

Remove extra spaces in the end of lines

pull/13947/head
Yurii Motov 3 days ago
parent
commit
e6b847f4d6
  1. 18
      scripts/translate.py

18
scripts/translate.py

@ -129,15 +129,15 @@ def translate_page(
prompt_segments.extend( prompt_segments.extend(
[ [
"There's an existing previous translation for this content that is probably outdated with old content or old instructions.", "There's an existing previous translation for this content that is probably outdated with old content or old instructions.",
"Update the translation only where necessary: ", "Update the translation only where necessary:",
"- If the original English content has changed, reflect that in the translation. ", "- If the original English content has changed, reflect that in the translation.",
"- If the previous translation violates current instructions, update it. ", "- If the previous translation violates current instructions, update it.",
"- Otherwise, preserve the original translation **line-by-line** as-is. ", "- Otherwise, preserve the original translation **line-by-line** as-is.",
"Do not: ", "Do not:",
"- Rephrase or rewrite correct lines just to improve the style. ", "- Rephrase or rewrite correct lines just to improve the style.",
"- Add or remove line breaks unless the English source changed. ", "- Add or remove line breaks unless the English source changed.",
"- Change formatting or whitespace unless absolutely required. ", "- Change formatting or whitespace unless absolutely required.",
"Only change what must be changed. The goal is to minimize diffs for easier review. ", "Only change what must be changed. The goal is to minimize diffs for easier review.",
"Previous translation:", "Previous translation:",
f"%%%\n{old_translation}%%%", f"%%%\n{old_translation}%%%",
] ]

Loading…
Cancel
Save