我想.gif从.mp4视频中制作动画。我更喜欢从命令行执行此操作,因此请仅列出命令行工具。
我想调整这样一个动画 GIF 文件do.gif 的大小 
如果我这样做,convert do.gif -resize 24x24\! do-24.gif我会在do-24.gif 中调整它的大小但没有动画
如何以正确的方式调整大小以获得相同的动画?
许多询问 如何 从一组png 图像创建动画 gif 的问题建议使用 ImageMagick命令的变体: convert
convert -delay 2 -loop 0 *.png animated.gif
Run Code Online (Sandbox Code Playgroud)
但是,我有几千张图像,因此convert用完了我所有的内存,交换,然后崩溃。有哪些替代软件存在,哪个更注重记忆?如果.gif不支持,我可以使用另一种开放格式,我更喜欢 CLI 工具。
command-line convert software-recommendation image-processing
所以,我在程序中制作了这个动画,但是,它似乎不支持导出为 PNG 序列,因此我可以将其转换为 GIF。动画超过 100 帧,因此一张一张地保存每个图像需要很长时间。但是,它支持导出为“条带”,就像电影胶片一样。动画中的每张图片都具有相同的尺寸。以下是该程序的“条带”功能的工作原理。
动画中的图像水平堆叠,第一帧在最左边,最后一帧在最右边。帧之间没有间隙,如果动画有X帧,文件名通常是“name_stripX.png”。如果每帧是 32 x 32 并且动画有 8 帧,则此文件的宽度为 256,高度为 32。
这是一些示例输出,每种颜色填充一帧:

此外,为了让事情更清楚一点,该程序被称为“Game Maker 8.0”。
我会让.gif我做的大部分谈话:GIF
一点背景故事:我有 100 个 PNG 文件(可以在 imgur 上看到),每个文件都是动画的一帧。有了这些文件,我必须制作一个.gif.
我用了:
convert -delay 5 -loop 0 Frame_7_00000*.png" animated.gif
Run Code Online (Sandbox Code Playgroud)
制作上面链接的gif。
基本上,正如问题所说,加载的前一个图像保留在下一帧上,依此类推,直到 gif 结束。我想知道是否可以在不会发生这种情况的情况下制作 gif。如果可能,首选命令行答案。