It should be pretty easy to export to MP4, but using SVG will be lighter and fas...

taoh on July 25, 2025 | parent | context | favorite | on: Asciinema: Record and share your terminal sessions

It should be pretty easy to export to MP4, but using SVG will be lighter and faster, which is why we created the dg tool to automatically export to SVG. Please see my previous comments if interested