OSX Screen Recording

OSX has a hidden built-in screen recording tool which can be accessed using the keyboard command cmd+shift+5. This particular version of the command allows selecting a section of the screen for recording.

Converting .mov to .gif

For sharing it is more convenient to share a GIF:

for i in *.mov ; do ffmpeg -i "$i" -filter_complex "[0:v] fps=12,scale=w=1080:h=-1,split [a][b];[a] palettegen=stats_mode=single [p];[b][p] paletteuse=new=1" "$i.gif"; done