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