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