Method _compress_html_output

tools/terminal.py:381–387

(self, output: str)

        return output

    def _compress_html_output(self, output: str) -> str:
        parser = _HTMLTextParser()
        parser.feed(output)
        text = parser.get_text()
        if not text:
            return output[:4000]
        return "Output is too long. Parsed text output:\n" + text[:4000]

    def _execute_ssh(self, normalized_command: str) -> ShellCommandResult:
        self._connect()