Generating animated GIFs.

For future reference. This is how I record an animated GIF that can subsequently be tweeted. First I record video to an .ogg file using:

$ simplescreenrecorder

Then, I convert the .ogg file to a .gif file using ffmpeg. In this example, I skip the first 4 seconds of the input, and write as 30fps output:

$ ffmpeg -ss 4 -i in.ogg -r 30 -pix_fmt rgb24 out.gif

The resulting video will look something like this: