Making screen recordings and turning them into GIFs
From Mike Bostok's site, here.
The recipe is for a Mac. In my case the recording mechanism would be recordmydesktop and the output format different. But I am guessing that the rest should work fine.
Screen Recording to GIF
If you haven’t already:
brew install ffmpeg gifsicle imagemagick
.Open QuickTime Player.
File > New Screen Recording.
Record.
Save as
recording.mov
.ffmpeg -i recording.mov -r 24 recording-%03d.png
convert recording-001.png palette.gif
Note: you may need to pick a different frame for better results!convert -dither none -remap palette.gif recording-*.png recording-uncompressed.gif
gifsicle --optimize=3 --delay=4 < recording-uncompressed.gif >recording.gif
Copyright (C) Michael Wolf 2011 and beyond