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

1. If you haven’t already: brew install ffmpeg gifsicle imagemagick.
2. Open QuickTime Player.
3. File > New Screen Recording.
4. Record.
5. Save as recording.mov.
6. ffmpeg -i recording.mov -r 24 recording-%03d.png
7. convert recording-001.png palette.gif Note: you may need to pick a different frame for better results!
8. convert -dither none -remap palette.gif recording-*.png recording-uncompressed.gif
9. gifsicle --optimize=3 --delay=4 < recording-uncompressed.gif >recording.gif