mirror of
https://github.com/earendil-works/pi.git
synced 2026-06-18 15:54:04 +08:00
b2a1997ea0
Rename BUILTIN_TOOLS to TEMPLATE_RENDERED_TOOLS to match what the set actually represents: tools rendered directly by the HTML template instead of pre-rendered through the TUI→ANSI→HTML pipeline. Move grep and find off the template-rendered exclusion path so they use their existing TUI renderCall/renderResult output in HTML export. Add a dedicated HTML renderer for ls and keep it in the template-rendered set. Unlike grep and find, rendering ls through the terminal-oriented Text component introduced spacing artifacts in exported HTML due to full-width line padding, so ls is rendered natively in the export template instead.
b2a1997ea0
·
2026-04-21 13:06:49 +02:00
History