Cambiar extensiones de fichero masivamente / Massive file extension renaming
-- Español / Spanish --<br />
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.<br />
<br />
-- Inglés / English --<br />
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
Lenguaje:
bash

Comentarios
fontanon:
rcmorano: