Convertir imagenes aun formato diferente

se necesita imagemagick instalado, que es casi un "por defecto" en la mayoría de distros.
con "-sample" se pueden redimensionar las imágenes.

1- crear un archivo en la misma carpeta que las imagenes con el siguiente código

ext="jpg"
for img in `ls *.png`
do
nom=`echo $img | cut -d '.' -f1`
convert -sample 50%x50% $img $nom.$ext
done

2- hacerlo ejecutable:
chmod +x ejemplo.sh

3- ejecutarlo
./ejemplo.sh