mp4 to animation gif converter

mp4togif.py

#!/usr/bin/env python3
import sys
import imageio
"""
Convert mp4 to (animation) gif.
Reference: http://imageio.readthedocs.io/en/latest/examples.html#convert-a-movie
pip install imageio, imageio-ffmpeg
"""


def mp4_to_gif(inputpath, outputpath, num_images=None):
    reader = imageio.get_reader(inputpath)
    fps = reader.get_meta_data()['fps']

    with imageio.get_writer(outputpath, fps=fps) as writer:
        for i, im in enumerate(reader):
            if i == num_images:
                break
            print(i+1)
            writer.append_data(im)


if __name__ == '__main__':
    if len(sys.argv) < 3:
        print('Usage : ' + sys.argv[0] + ' src.mp4 dest.gif')
        sys.exit()

    src = sys.argv[1]
    dest = sys.argv[2]
    if len(sys.argv) > 3:
        num_images = int(sys.argv[3])
        mp4_to_gif(src, dest, num_images)
    else:
        mp4_to_gif(src, dest)