How to do I convert an animated gif to an mp4 or mv4 on the command line?

Question

What command would I use to convert an mp4 or mv4 video file to an animated gif, and vice versa. That is, convert a animated gif to a mp4 or mv4.

Answer 1

You should be able to use imagemagick and ffmpeg. This Stackoverflow post explains how to do it and includes links to additional resources.

Note: the title of the post says .avi, but the accepted answer outputs mpeg.