У меня есть куча файлов PNG, которые я хочу изменить.
Слегка упрощенно, скажем, у меня есть файлы с именем:
- apple@2x.png
- orange@2x.png
- pear@2x.png
и так далее, и я хочу сделать:
- apple.png
- orange.png
- pear.png,
и так далее, с выходными файлами все в половине масштаба соответствующих входных файлов.
Есть ли хороший инструмент для этого?
У меня около 200 входных файлов, поэтому желательно, чтобы весь процесс был автоматизирован.
РЕДАКТИРОВАТЬ: я на Mac.