Renombrar un fichero desde la terminal
No existe un comando dedicado únicamente a renombrar un fichero, pero el comando mvpermite mover ficheros. Si movemos un fichero al mismo directorio cambiándole el nombre, ya estamos renombrando el fichero.
mv nombre_antiguo nombre_nuevo
