Tuesday, August 23, 2016

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:

No comments: