Blog tvlooy
Convert OGV to GIF
linux, mplayer, imagemagick | July 25, 2015
This is a tip / trick to convert a ogv video to an animated gif.
Make a screen recording using RecordMyDesktop (apt-get install gtk-recordmydesktop). Save the output to for example out.ogv.
Use mplayer (apt-get install mplayer) to convert the ogv frames to separate images.
mplayer -ao null out.ogv -vo jpeg:outdir=output
Use convert (apt-get install imagemagick) to combine all the separate images into one gif. And optionally use convert again to optimize the gif so it becomes smaller in disk space.
convert output/* output.gif convert output.gif -fuzz 10% -layers Optimize optimised.gif