Tags: [ffmpeg][gif]
After recording a screen cast with SimpleScreenRecorder on Ubuntu I use the following ffmpeg command to convert them to gif to be used on this blog.
ffmpeg -i input_file.mkv -vf "fps=10" -loop 0 output_file.gif
The quality is not the best, at one point I should take the time to find out how to do it well. I reused the command from this SO answer.