Я хочу получить имя файла (без расширения) и расширение отдельно.
Лучшее решение, которое я нашел, это:
NAME='echo "$FILE" | cut -d'.' -f1'
EXTENSION='echo "$FILE" | cut -d'.' -f2'
Это неправильно, потому что не работает, если имя файла содержит несколько .
персонажи. Если, скажем, у меня есть abjs
, он рассмотрит a
и b.js
вместо ab
и js
.
Это может быть легко сделано в Python с
file, ext = os.path.splitext(path)
но я бы предпочел не запускать интерпретатор Python только для этого, если это возможно.
Есть идеи получше?