cambiar extension a un archivo

Quiero cambiar la extension de un archivo *.txt, hecho con el bloc de notas a otra extension *.avs (creo) pero siempre me sale como archivo de texto, es para poder usarlo con el cce 2.50, como lo puedo hacer, ya que con cambiar nombre siempre me sale *.avs.txt, o sea, archivo de texto, gracias anticipadas
Herramientas-Opciones de carpeta-Ver-Ocultar extensiones para tipos de archivos conocidos.

La desmarcas y ya podrás cambiar la extensión tranquilamente.

un saludo
1 respuesta