форумы  помощь  поиск  регистрация  майллист  вход/выход  слежка

Вариант для распечатки		Пред. тема | След. тема
Форумы Разговоры, обсуждение новостей (Public)
Изначальное сообщение		[ Отслеживать ]

"Раздел полезных советов: Как отделить имя файла от расширени..."		+/–
Сообщение от auto_tips on 16-Янв-06, 13:03
Заменяем расширение .wav на .mp3:   file_name="file.wav"   echo ${file_name%%.wav}.mp3 URL: http://networking.earthweb.com/netsysm/article.php/3326771 Обсуждается: https://www.opennet.ru/tips/info/672.shtml
Высказать мнение | Ответить | Правка | Cообщить модератору

Сообщения по теме

[Сортировка по времени | RSS]

1. "Как отделить имя файла от расширения в bash и freebsd sh"		+/–
Сообщение от u on 16-Янв-06, 13:03
echo `basename $file_name`.mp3 :)
Высказать мнение | Ответить | Правка | Наверх | Cообщить модератору

	2. "Как отделить имя файла от расширения в bash и freebsd sh"		+/–
	Сообщение от frolz on 10-Май-06, 13:28
	echo `basename $file_name .wav`.mp3
	Высказать мнение | Ответить | Правка | Наверх | Cообщить модератору

3. "Как отделить имя файла от расширения в bash и freebsd sh"		+/–
Сообщение от huziahmetova_96mail.ru on 02-Дек-09, 19:29
кузя
Высказать мнение | Ответить | Правка | Наверх | Cообщить модератору

Архив | Удалить

Индекс форумов | Темы | Пред. тема | След. тема