En algunas ocasiones nos encontremos con la necesidad de cambiarle la extensión a algún archivo para poder manipularlo según convenga, lo cual normalmente ocurre cuando nos descargamos un archivo desde Internet en algún formato poco convencional y lo tengamos que editar para cambiarle la extensión por la correcta… Esto es muy sencillo de realizar pero hay que saber exactamente como realizarlo, y para eso podemos seguir estos pasos…

1. Supongamos que yo me encuentro en la situación de que me descargue un archivo comprimido desde Internet con extensión “.zip” y este por alguna extraña razón se descargo con una extensión errónea que no puede ser reconocida por el sistema operativo, o se descargo sin extensión (es un ejemplo muy raro pero nos sirve para aprender a cambiar extensiones)… Lo que deberemos de hacer es desde una ventana en Microsoft Windows presionar en “Herramientas” y luego ingresar a “Opciones de carpeta“…
2. De forma inmediata se nos desplegará una nueva ventana titulada “Opciones de carpeta” en la cual tendremos que ingresar a la pestaña “Ver“… En esta bajaremos hasta el final de todas las opciones que se pueden marcar y desmarcar, y nos aseguraremos de desmarcar la opción “Ocultar las extensiones de archivo para tipos de archivo conocidos“… Aceptaremos los cambios una vez hecho esto…
3. Volveremos a donde se encuentra nuestro archivo y simplemente deberemos de presionar con el clic derecho en el mismo, y seleccionar “Cambiar nombre“… Ahora, lo único que resta es agregar al final del nombre del archivo el punto junto a la extensión correcta, es decir “.zip” en mi caso, o si ya existe una extensión pero no es la correcta simplemente sobreescribirla por la adecuada…

De esta manera es como modificamos las extensiones de los archivos existentes, y no son más que estos simples tres pasos de fácil llevada a cabo y memorización para ocasiones futuras… Saludos…