4 ms·
What tool is used to make the gifs of the ui?
by le-mark 10mo ago
What tool is used to make the gifs of the ui?
- ursula_gren 10mo agoI know that licecap(https://www.cockos.com/licecap/ https://www.cockos.com/licecap/) can be used to accomplish that. Not sure if this is what is being used here though.
- talideon 10mo agoasciinema should do the job. It has GIF generation support via its 'agg' tool: https://docs.asciinema.org/manual/agg/ https://docs.asciinema.org/manual/agg/