Following this gist, I decided to create my own tutorial/manual for future reference.
Before trying to convert anything, you must have the following tools installed:
- QuickTime (to record the video)
- ffmpeg (to process the video file)
- gifsicle (to create and optimise the animated gif)