相关疑难解决方法(0)

是否有gif从一组png文件创建动画的工具？

我尝试了ImageMagick套件中的convert命令，但这并不总是成功。另外，我对此有几个问题：

1. 我说不上来有什么进展。
2. 无论我尝试什么，该-delay标志都不会改变 gif 动画的帧速率。
3. convert根据文件名的字母顺序确定帧顺序。这意味着name500.png将name50.png在name450.png我可以通过添加 0 解决此问题之后而不是之后放置，但这很烦人。

我们需要制作一些关于使用 LaTex 文档的视频。我们有打字稿和计时文件，现在我们需要将它们转换为视频以在答案中显示它们。基本上，这样做的方法是制作小的 Gif 动画。基本上，如果我可以将 X 窗口中的某些区域录制为 GIF，那么可以通过 X 制作此类视频，但它的方式有点笨拙而且速度很慢。那么如何将脚本处理转换为 Gif 动画呢？

$ script -t 2> timing   # pastie.org etc to show your working
...WORKING...
$ scriptreplay timing   #how to make them into videos on this site?

示例视频

来源在这里，但使用付费软件 W 工具创建。

也许相关

1. 将打字稿文件转换为命令列表（历史）

2. 此处在 Windows 中进行截屏，在 *ix 中呢？