Para cambiar la extensión de un archivo en Windows tienes buscar la herramienta Opciones de carpeta.
Dependiendo del sistema operativo, esta herramienta se encuentra en diferentes zonas del sistema operativo. En esta entrada voy hablar de como hacerlo en el Windows 10 y en el Windows 7.
Windows 10
Para cambiar de extensión en el Windows 10, digamos que creamos un archivo prueba con la extensión del bloc de notas .txt.
El próximo paso es acceder a la barra superior, acceder a Vista y luego darle clic al botón Opciones. Te aparecerá la ventana opciones de carpeta. Tienes tres opciones: General, ver y buscar. Seleccionas la opción ver y luego dentro de Configuración avanzadas desmarcamos la casilla Ocultar las extensiones de archivo para tipo de archivo.
Después de desmarcar la casilla, le damos al botón Aplicar primero, luego le damos al botón Aceptar. Hecho esto los archivos se mostrarán con sus extensiones y con la opción de cambiar nombre podremos cambiar las extensiones de los archivos.
Ahora puedo cambiar la extensión del archivo bloc de notas a la extensión que desee, por ejemplo a un archivo HTML.
Cuando cambiemos la extensión y queramos guardar el archivo, tenemos que confirmar que queremos cambiar la extensión del archivo.
El resultado final sería este:
Windows 7
Para poder cambiar las extensiones de archivos en el Windows 7 tan solo tienes que acceder al Panel de control de Windows 7 y buscar Opciones de carpeta. Si le damos clic nos aparecerá la misma ventana de opciones de captura que en Windows 10 y podremos desmarcar la opción que oculta las extensiones de los archivos.
