import moviepy.editor as mp

# 打开GIF文件

gif_path = "/mnt/data/earthquake_shake.gif"

video_path = "/mnt/data/earthquake_shake.mp4"

# 转换为视频

clip = mp.VideoFileClip(gif_path)

clip.write_videofile(video_path, codec="libx264", fps=10)