cómo cambiar el nombre de un archivo
El comando tiene funcionalidad en el sistema operativo windows al ubicarse sobre el archivo o carpeta y presionando codice_8 se habilita la opción de cambiar el nombre o extensión. También existe la opción en el menú del clic derecho del ratón.