Aunque para algunos parezca obvio, en ocasiones (sobre todo para los "no iniciados"), la sencilla tarea de cambiar de tamaño una imagen pasa por:

* Abre el GIMP
* Busca entre los mil botones el de cambiar tamaño
* Guardar copia
* Busca dónde la ha guardado.

Vale, es algo exagerado, pero seguro que más de uno sabe de qué hablo.

Aquí tenéis la solución a todos vuestros problemas  (vale, es algo pretencioso), haciendo uso del kit de herramientas gráficas imagemagick [1] [2].

convert -resize 50% image-orig.png image-small.png

Esto es tan solo un ejemplo básico de lo que se puede hacer. Para los más curiosos, aquí [3] hay un buen repertorio de ejemplos de uso.


[1] apt://imagemagick (para los ubunteros/guadalinuxeros)
[2] http://www.imagemagick.org
[3] http://www.imagemagick.org/Usage/