Eu tenho vários arquivos PNG que quero redimensionar.
Simplificando um pouco, digamos que eu tenha arquivos nomeados:
e assim por diante, e eu quero fazer:
e assim por diante, com os arquivos de saída na metade da escala dos arquivos de entrada correspondentes.
Existe uma boa ferramenta para isso?
Eu tenho cerca de 200 arquivos de entrada, então, de preferência, todo o processo seria automatizado.
EDIT: estou em um mac.
Sim, como mencionado por Ignacio, a função de conversão do ImageMagick pode fazer isso.
Se você tiver acesso a um shell baseado em Unix, por exemplo Linux ou Mac terminal, algo como isso vai fazer:
cd folder-with-the-png-files
for i in *.png; do convert $i -resize 50% ${i/.png/}.resized.png; done
O comando acima irá redimensionar todas as imagens da pasta e salvá-las como xxx.resized.jpg.
Note, entretanto, que você pode precisar instalar o ImageMagick primeiro ...
ImageMagick ' convert can faça isso . Basta usar as instalações do seu shell para fazer o loop de um conjunto de arquivos.
Se você ainda estiver no Windows XP, poderá usar o Image Resizer .
No Windows 7, há uma ferramenta semelhante .
Eu gosto de usar o Irfanview gratuito para isso. Ele tem no mesmo diálogo de conversão de lote um rename de lote (que pode usar variáveis para renomeação avançada) e conversor de lote. Basta pressionar a tecla "b" quando você abrir o Irfanview ou selecionar o menu superior do Arquivo. Você também pode usar um modo de linha de comando, se desejar.
Na caixa de diálogo de lote, se você clicar em Opções Avançadas, poderá fazer várias operações para adicionar ao seu lote, como por exemplo, redimensionar lote de várias maneiras e, idealmente, com lanczos algorythm selecionado (excelente qualidade). Você pode adicionar um filtro de nitidez, etc.
Apenas para completar, aqui está a resposta para a minha pergunta original:
for i in *@2x.png; do convert $i -resize 50% ${i/@2x.png/}.png; done