Computer Tips - Convert a video to an animated gif (or mng) ?

Date: 2018jun5 OS: Linux Q. Convert a video to an animated gif (or mng) ? A. In a fresh folder:
mkdir frames ffmpeg -i myfile.mp4 frames/myfile%05d.png convert frames/*.png myfile.gif
Or
convert frames/*.png myfile.mng
`convert` is part of ImageMagick.