Docu review done: Mon 03 Jul 2023 16:35:10 CEST

General

How to cervert videos/pictures/screenthots to gif files

Convert video to gif

uses mplayer

$ mplayer -ao null <video file name> -vo jpeg:outdir=output

Convert screenshots/files to gif

uses ImageMagick

$ convert output/* output.gif
$ convert output.gif -fuzz 10% -layers Optimize optimised.gif