[w108bmg]

lol good catch, and I totally missed it

I used vhs to record the gif which must not run the script in my native terminal! I’ll have to see about fixing it!

[yonatan8070]

I've seen a lot of people use asciinema to record and share terminal recordings, it works quite well

[diggan]

You still end up having to turn it into a GIF if you want it to autoplay on GitHub's markdown viewer, or video if you want it to run on the page but require a click-to-play.

[nightpool]

How would that solve the font problem? I feel like that would only make the problem of having unsupported fonts even worse.

[wonger_]

One solution could be to use the docker version of vhs, and edit the dockerfile to pull your desired font.