Если нам надо сменить формат файла с txt на bat на "windows 7". Делается это следующим образом. Сначала открываем "Мой компьютер", там переходим "Сервис” – "Свойства папки” – "Вид” и снимаем галочку "Скрывать расширение для зарегистрированных типов файлов". Жмем "Применить” и "Ок". Теперь мы можем менять расширение известных системе файлов, а посему направляемся к нашему файлику, жмем правой кнопкой мышки, выбираем "Переименовать” и методом печатания на клавиатуре меняем расширение с txt на bat (на вопрос системы стоит ли это делать отвечаем утвердительно). В результате мы имеем следующую картину(в вашем случае файлик называется иначе, но имеет тот же формат)
