我有两个文件：animation.gif和audio.mp3；duration( audio.mp3) >> duration( animation.gif)。我想.webm从这两个文件创建文件，即循环（未知次数）animation.gif+ audio.mp3。
一个简单（或至少是显而易见的）但缓慢的创建方法是：
ffmpeg -ignore_loop 0 -i animation.gif -i audio.mp3 -shortest -c:v libvpx -threads 4 -b:v 400k -f webm out.webm
那么，问题是：有没有什么技巧可以加快速度？有没有更快的方法从循环视频创建长视频animation.gif？