[kragen]

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

[taoh]

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

[kragen]

Thanks! I hadn't heard of it!

[_ache_]

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

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

[kragen]

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.