Я хочу получить имя файла (без расширения) и расширение отдельно.
Лучшее решение, которое я нашел, это:
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 только для этого, если это возможно.
Есть идеи получше?