What tool is used to make the gifs of the ui?
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.
asciinema should do the job. It has GIF generation support via its 'agg' tool: https://docs.asciinema.org/manual/agg/
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.
asciinema should do the job. It has GIF generation support via its 'agg' tool: https://docs.asciinema.org/manual/agg/