Eu quero converter um lote de imagens, quase 100, do formato jpg para png. Como posso fazer isso sem renomeá-los, mas ao invés de converter o formato?
Tente estes comandos,
mogrify -format png /path/*.jpg
Isso converterá todos os arquivos .jpg em arquivos .png e salvará os arquivos convertidos no mesmo diretório.
mv /path/*.png ~/Desktop/pic
Isso moverá todos os arquivos .png (convertidos) para o diretório pic que reside na área de trabalho.
Usando o ImageMagick .
Primeiro, instale o imagemagick:
sudo apt-get install imagemagick
Tente converter apenas uma imagem no início:
convert image.jpg image.png
Agora converta todos:
mogrify -format png *.jpg
EDITAR
Você também precisa dividi-lo em partes que caberão para evitar atingir o limite de quanto você pode colocar em uma linha de comando. Isso deve funcionar melhor:
find -name '*.jpg' -print0 | xargs -0 -r mogrify -format png
Os -print0 e -0 são usados para manipular espaços em nomes de arquivos e o -r significa não executar o mogrify se não houver nada a fazer.
Fonte: link
EDIT 2 Png e jpg comutados como por o comentário de @ Glutanimate.
EDIT 3 Mudou png para jpg na última sugestão.
Eu sei que faz muito tempo que essa pergunta foi feita, mas há um software brilhante que não foi mencionado e que usei muito.
link também conhecido como Phatch. Ele literalmente converte qualquer coisa de qualquer coisa para qualquer outra coisa em termos de imagem. Ele não foi atualizado por um tempo, mas agora afirma ser lançado para o Ubuntu 17.10. De uma chance. Estou confiante de que você ficará muito feliz com isso.