Налагало ли ви се е да променяте разширението на един файл ръчно, например от .html в .php или от .rtf на .txt.Със сигурност ви е било трудно, а няма спор, че се случва достатъчно често за да ви заинтригува script-а който ще ви предложим.Той е абсолютно безплатен и след инсталацията му е достатачно само да натиснете десен бутон върху файла, чиито разширение искате да промените и да изберете More/Automator/Change extensions след което ще ви се отвори интерфейса на скрипта и просто въвеждате старото и новото разширение.

Официален сайт: http://mikepiontek.com/software/automator/change-extensions.html