Category: Tools

BTW, I turned that screen recording from my iPad in the last post from .mov to an animated .gif using a utility called Gifski. I used the CLI version and it was pretty straightforward to get decent …