• selecciono todos los ficheros del 1.png al 32.png, pulsando Cmd+A
• los arrastro a una carpeta vacía que acabo de crear, pulsando la tecla Opción de Mac (Alt). Así en lugar de mover los ficheros, se copian
• selecciono todos los ficheros recién creados, pulsando de nuevo Cmd+A
• los abro todos a la vez con Vista Previa (Cmd+Flecha abajo)
• una vez en vista previa, los selecciono todos de nuevo (Cmd+A)
• y les cambio el tamaño con Herramientas -> ajustar tamaño
• una vez listo, los grabamos todos (Archivo -> Guardar todo)

Ahora tengo, en dos carpetas distintas, 32 ficheros que se llaman 1.png, .. 32.png, como se puede ver aquí:

Miniaturas antes de renombrar

Es decir, tengo los originales y los que he reducido de tamaño. El problema viene cuando ahora quiero cambiar el nombre de los ficheros para que se llamen thumb1.png, … thumb32.png. Renombrarlos uno a uno es un rollo. Y desde terminal me daba pereza hoy. Así que he buscado una herramienta gráfica y me he encontrado con NameChanger, una pequeña Aplicación que funciona perfectamente para esto.

NameChanger en funcionamiento

NameChanger nos permite renombrar, o añadir algo al principio o final de una serie de archivos, o hacer cambios más potentes usando caracteres comodín. Y siempre te muestra antes de hacer nada, cual va a ser el resultado. Como se puede ver, es una de esas herramientas obligatorias de tener a mano.