That sounds cool! An animated SVG? How do you convert to SVG format?

taoh 2 days ago | parent | next [-]

We use termsvg to convert cast to svg automatically. The tool is open source: https://github.com/DeepGuide-Ai/dg.

	▲	kragen 2 days ago \| parent [-]
		Thanks! I hadn't heard of it!

▲

_ache_ 2 days ago | parent | prev | next [-]

svg-term-cli I think. I found a post talking about it not long ago.

https://github.com/marionebl/svg-term-cli

▲

kragen a day ago | parent | prev [-]

Upon investigation, both dg and svg-term-cli output SVG with embedded CSS animation. So it's not that SVG supports animation per se. This also remodels my understanding of what CSS animation can do.