У меня есть куча PNG файлов, которые я хочу изменить.
упрощение немного, скажем, у меня есть файлы с именем:
- apple@2x.png
- orange@2x.png
- pear@2x.png
и так далее, а я хочу сделать:
- apple.png
- оранжевый.png
- груша.png,
и так далее, с выходными файлами все в половине масштаба соответствующих входных файлов.
есть хороший инструмент для этого?
У меня около 200 входных файлов, поэтому желательно, чтобы весь процесс был автоматизирован.
редактировать: я на mac.