用python将视频转gif

第一步：视频转图片帧，按需取全部或者部分或者间隔取帧。之前的文章里有，拿来用。
第二步：利用imageio将全部图片转为一个gif。

import imageio
import os

#图片转gif
def png2gif(inputs, name, duration=0.5):
    gif_images = []
    filelist = [inputs + '/' +i for i in os.listdir(inputs)]
    for img in filelist:
        gif_images.append(imageio.imread(img))
    imageio.mimsave(name,gif_images,'GIF',duration=0.2)

input_path = './full_images/00001'
name_path = './aa222.gif'

import time
start = time.process_time()
png2gif(input_path,name_path)
end = time.process_time()-start
print('run time %fs'%end)