URL: https://www.opennet.me/cgi-bin/openforum/vsluhboard.cgi
Форум: vsluhforumID3
Нить номер: 13292
[ Назад ]

Исходное сообщение
"Раздел полезных советов: Как отделить имя файла от расширения в bash и freebsd sh"

Отправлено auto_tips , 16-Янв-06 13:03 
Заменяем расширение .wav на .mp3:
  file_name="file.wav"
  echo ${file_name%%.wav}.mp3

URL: http://networking.earthweb.com/netsysm/article.php/3326771
Обсуждается: http://www.opennet.me/tips/info/672.shtml


Содержание

Сообщения в этом обсуждении
"Как отделить имя файла от расширения в bash и freebsd sh"
Отправлено u , 16-Янв-06 13:03 
echo `basename $file_name`.mp3 :)

"Как отделить имя файла от расширения в bash и freebsd sh"
Отправлено frolz , 10-Май-06 13:28 
echo `basename $file_name .wav`.mp3

"Как отделить имя файла от расширения в bash и freebsd sh"
Отправлено huziahmetova_96mail.ru , 02-Дек-09 19:29 
кузя