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:
[Image]
"Generating animated GIFs."
No comments yet. -