Re: Вопрос по shell

[Nefedov.Yuri@jinr.ru]

On Wed, 28 Feb 2007, Mikhail Ramendik wrote:

> > On Monday 26 February 2007 03:33, Mikhail Gusarov wrote:
>
> >  MR> Вопрос: как корректно в shell script поменять последнюю часть
> >  MR> после точки (в досе говорили "расширение") файла? В смысле, есть
> >  MR> blablabla.wav, а надо blablabla.mp3 , для любого blablabla.
> >
> > ${foobar%.wav}.mp3
>
> К сожалению, я не понял, как этим пользоваться. И в инете найти тоже не 
> сумел.
>
> Если в $1 у меня foobar.wav , где foobar произвольное, то что мне надо 
> написать в скрипте, чтобы получить foobar.mp3 ?

 На выбор:
 1) newname=`basename $1 .wav`.mp3
 2) newname=`echo $1 | sed 's/\.wav$/\.mp3/'`
 3) newname=${1%.wav}.mp3

 последнее наименее переносимое, так как bash специфичное...

 Успехов,
 Юра