Поиск программы

[Navale]

Всем доброго вечера, такая тут история, скажем так, есть папка, в ней 150-200 файлов с расширением WAV. Нужно у всех файлов изменить расширение на .mp3 (не перекодировать, а именно просто поменять)
В ручную понятное дело делать это долго и геморойно. Вот хотелось бы спросить у вас совета, как быть?
Гугл ничего вразумителньго мне не ответил.

[Huster]

TotalCommander тебе в помощ. Там есть массовое переименовывание по маске

[Navale]

Не знал, спасибо, буду пробывать =)

[five5feer]

и на закуску попробуй
ReNamer

[SpangeBoB]

@echo off
for /F %%i in ('dir *.wav /b') do ( ren %%~nxi %%~ni.mp3 )
pause

Файл положить в папку и нажать выполнить,расширение файла bat.

Ну и решение на powershell:
dir *.wav | foreach { ren $_.name $_.basename+".dll"}

[goginn]

нужен формату фактори

[goginn]

http://depositfiles.com/files/fx5ptx7l5

[Navale]

Сделал все через Формат фактори, спасибо за подсказку.
С батником не получилось, я так понял там еше пути нужно прописывать, не очень понимаю в скриптах, в исходном варианте не получилось к сожалелиню.

Кстати, по поводу прог, на которые тут выложили ссылки, лучше качайте с офф сайтов, по поводу того что сдесь выложили никакой ответственности не несу.

Всем еще раз спасибо за участие.