If you haven’t already:
brew install ffmpeg gifsicle
Open QuickTime Player. File > New Screen Recording. Record. Trim as needed. Save as foo.mov.
First compute a good color palette:
ffmpeg -i foo.mov -vf 'scale=-1:-1:flags=lanczos,palettegen' foo-palette.png
Then make your GIF:
ffmpeg -i foo.mov -i foo-palette.png -filter_complex 'scale=-1:-1:flags=lanczos[x];[x][1:v]paletteuse' foo.gif
To drop frames, add fps=10,
to the -filter_complex
argument.
To crop, add crop=width:height:x:y,
to the -filter_complex
argument.
Sorry, Mike, line 7 should not be like this?
ffmpeg -i recording.mov -r 24 frames/recording-%03d.png
Anyway, great workflow... works like magic.