The OpenNET Project / Index page

[ новости /+++ | форум | теги | ]

форумы  помощь  поиск  регистрация  майллист  вход/выход  слежка  RSS
"Раздел полезных советов: Как отделить имя файла от расширени..."
Вариант для распечатки  
Пред. тема | След. тема 
Форумы Разговоры, обсуждение новостей (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ообщить модератору

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

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




Партнёры:
PostgresPro
Inferno Solutions
Hosting by Hoster.ru
Хостинг:

Закладки на сайте
Проследить за страницей
Created 1996-2024 by Maxim Chirkov
Добавить, Поддержать, Вебмастеру