Muchas veces sucede que tenemos una lista de 20 archivos de imágenes que queremos editar y cambiar el tamaño, quizás inclusive cambiarle los PPP o DPI en ingles.
El proceso es mucho mas simple manejando la consola, o empleando algún plugin en Gimp para realizar este trabajo.
Pero vamos con lo práctico, en Debian / Ubuntu o similar hacemos en lo siguiente: