相关疑难解决方法(0)

我有一堆想要重新缩放的 PNG 文件。

稍微简化一下，假设我有名为的文件：

• 苹果@2x.png
• 橙色@2x.png
• 梨@2x.png

等等，我想做：

• 苹果.png
• 橙色.png
• 梨.png,

依此类推，输出文件的规模都是相应输入文件的一半。

有什么好的工具吗？

我有大约 200 个输入文件，所以最好将整个过程自动化。

编辑：我在 mac 上。