The OpenNET Project / Index page

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

Как отделить имя файла от расширения в bash и freebsd sh
Заменяем расширение .wav на .mp3:
  file_name="file.wav"
  echo ${file_name%%.wav}.mp3
 
28.04.2004 , Источник: http://networking.earthweb.com/nets...
Ключи: shell / Лицензия: CC-BY
Раздел:    Корень / Программисту и web-разработчику / Shell / Готовые скрипты

Обсуждение [ RSS ]
  • 1, u (?), 13:03, 16/01/2006 [ответить]  
  • +/
    echo 'basename $file_name'.mp3 :)
     
     
  • 2, frolz (?), 13:28, 10/05/2006 [^] [^^] [^^^] [ответить]  
  • +/
    echo 'basename $file_name .wav'.mp3
     

  • 3, huziahmetova_96mail.ru (?), 19:29, 02/12/2009 [ответить]  
  • +/
    кузя
     

     Добавить комментарий
    Имя:
    E-Mail:
    Заголовок:
    Текст:




    Спонсоры:
    Inferno Solutions
    Hosting by Hoster.ru
    Хостинг:

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