I have a bunch of PNG files that I want to rescale.
Oversimplifying a little, let's say I have files named:
- apple@2x.png
- orange@2x.png
- pear@2x.png
and so on, and I want to make:
- apple.png
- orange.png
- pear.png,
and so on, with the output files all at half the scale of the corresponding input files.
Is there a good tool for that?
I have about 200 input files, so preferably the whole process would be automated.
EDIT: I'm on a mac.