Hacker News new | ask | show | jobs
by le-mark 186 days ago
What tool is used to make the gifs of the ui?
2 comments
ursula_gren 186 days ago
I know that licecap(https://www.cockos.com/licecap/) can be used to accomplish that.

Not sure if this is what is being used here though.

link
talideon 186 days ago
asciinema should do the job. It has GIF generation support via its 'agg' tool: https://docs.asciinema.org/manual/agg/
link