Convert ogv to animated gif with ffmpeg

To make the previous article and create the animated gif, instead of just using a single image or make a video, I used a combination between recordmydesktop, ffmpeg and GIMP.

First we have to make our recording, and to do this, we can use any app such as recordmydesktop, Istambul, Xvidcap or any you like. In my case, I recorded an ogv, but you can choose your own format.

Then comes the conversion. Ffmpeg has a wide variety of options that you can use to optimize your output. From resize, to modify the quality to even choose the format, the idea is to keep it simple and then make all the necessary modifications with GIMP.

Finally we can open out gif with GIMP (might take a while) and edit it. I just cut the window to dismiss the rest of the elements on my desktop, and then used the option Filters -> Animation -> Optimize (Difference) and simplified a nearly 3Mb gif to a 50k super smooth animation.