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