[
новости
/
+++
|
форум
|
теги
|
]
Как отделить имя файла от расширения в 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:
Заголовок:
Текст:
Партнёры:
Хостинг:
Закладки на сайте
Проследить за страницей
Created 1996-2025 by
Maxim Chirkov
Добавить
,
Поддержать
,
Вебмастеру