-- Español / Spanish --
Seguro que más de una vez se nos ha dado el caso de tener que cambiarle la extensión a varios ficheros, para esto, yo siempre suelo usar este scriptcillo de una linea que aprovecha las extensiones de BASH.
-- Inglés / English --
It's for sure that you have had to change the extension of various files anytime, for this matter, I always use this one-line-script taking advantages of BASH.
# ${file%.*} elimina todo desde el primer "." hasta el final, se podrían usar patrones como ".png" para hacer más exacta la coincidencia.<br />
for file in PATH/*.png; do mv $file ${file%.*}.jpg; done