La solución, a pesar de que es un poco drástica, es bastante sencilla. Consiste en utilizar el comando mv:
mv nombreantiguo nombrenuevo
Era fácil, ¿eh?
martes, 7 de diciembre de 2010
Suscribirse a:
Enviar comentarios (Atom)
mv nombreantiguo nombrenuevo
Elemental querido Watson ;)
ResponderEliminarHombre, tanto como drástico..., en linux tienes "rename" pero se usa más para renombrado masivo de ficheros. El comando mv es para mover ficheros de un lugar a otro, pero nada te impide usarlo para renombrarlos. Si usas mv para renombrar ficheros, éste actúa de tal forma. Prueba a renombrar un archivo de varios gigas, verás que se hace en milésimas ya que al estar en el mismo sistema de ficheros hace exactamente eso, renombrarlo. La cosa cambia cuando son particiones o sistemas de ficheros diferentes en origen y destino, en tal caso actúa moviendolos (primero lo copia en destino y luego borra el de origen).
ResponderEliminarSaludos
En principio buscaba algún comando tipo Rename para archivos individuales, pero Google me llevo al mv. De momento me sirve, pero no descarto que algún día necesite renombrado masivo. En ese caso estudiaré rename o me plantearé instalar otra aplicación de renombrado masivo, que me consta que las hay a pares.
ResponderEliminar