Reduce many spaces to one

python-scripts/fix-screen/bin/fix-screen.py

@@ -21,6 +21,7 @@
     re.escape(START_DELIMITER),
     re.escape(END_DELIMITER))
 )
+SPACES = re.compile(r' +')
 
 
 def stderr(*args, **kwargs):
@@ -156,7 +157,7 @@ def modify_screen_with_prompt(screen):
         # <command> or <replaceable> element
         if screen[1].tail is not None:
             # Only strip linebreaks, but not spaces
-            screen[1].tail = screen[1].tail.strip('\n')
+            screen[1].tail = SPACES.sub(" ", screen[1].tail).strip('\n')
 
 
 def modify_screen_content(screen_content: str) -> str:

python-scripts/fix-screen/tests/test_modify.py

@@ -145,7 +145,7 @@ def test_replace_screen_blocks_with_prompt_and_two_commands():
         "<screen>"
         "<prompt>&lt;</prompt>"
         "<command>sudo</command>"
-        "  <command>ls</command>\n"
+        " <command>ls</command>\n"
         "</screen>\n"
         "<para>Other text</para>"
     )