Всем привет! Вопрос: как корректно в shell script поменять последнюю часть после точки (в досе говорили "расширение") файла? В смысле, есть blablabla.wav, а надо blablabla.mp3 , для любого blablabla. Очень уж часто надо для всякого енкодинга. -- Yours, Mikhail Ramendik