Responder al comentario

Jun 07 19:39

Cambiar extensiones de fichero masivamente / Massive file extension renaming

-- 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
Lenguaje: 
bash

Responder

  • Etiquetas HTML permitidas: <a> <em> <strong> <cite> <code> <ul> <ol> <li> <dl> <dt> <dd><img>
  • Saltos automáticos de líneas y de párrafos.
  • Las direcciones de las páginas web y las de correo se convierten en enlaces automáticamente.

Más información sobre opciones de formato

By submitting this form, you accept the Mollom privacy policy.