我有 10k+ GIF 文件，我需要最好使用命令行将其转换为 PNG 或 JPEG，以便我可以将其自动化。我不担心失去质量或透明度，只需要为 OCR 软件准备文件。
尝试使用时convertformat，我得到了这个：
Error in pixReadStreamGif: function not present
Error in pixReadStream: gif: no pix returned
Error in pixRead: pix not read
Error in pixGetDepth: pix not defined
Error in pixWrite: pix not defined
有任何想法吗？