среда, 4 мая 2011 г.

Обработка расширения имени файла в bash

Получаем полное имя файла

filename=$(readlink -f filename)

Получаем имя файла без пути

filename=$(basename $fullfile)

Получаем расширение

extension=${filename##*.}

Получаем имя файла без расширения

filename=${filename%.*}

Комментариев нет:

Отправить комментарий