目的:
$ .gif \rightarrow .mp4$
解决:
pip install MoviePy
import moviepy.editor as mp clip = mp.VideoFileClip("mygif.gif") clip.write_videofile("myvideo.mp4")
If you have ffmpeg on your device, this might be Okay as well.
pip install ffmpy
import ffmpy ff = ffmpy.FFmpeg( inputs={'input.gif': None}, outputs={'output.mp4': None} ) >>> ff.run()
-1. If python isn't necessary, THIS ONE would be a very good and comprehensive choice.