[解決済み】Bashでファイル名と拡張子を抽出する。

質問

ファイル名(拡張子なし)と拡張子を別々に取得したい。

今まで見つけた最適な解決策は

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のインタプリタを起動するのは避けたい。

何か良いアイデアはありませんか？

解決方法は？

まず、パスなしでファイル名を取得します。

filename=$(basename -- "$fullfile")
extension="${filename##*.}"
filename="${filename%.*}"

また、パスの最後の'/'に注目することで、'．

filename="${fullfile##*/}"

ドキュメントを確認するとよいでしょう。

• ウェブ上では、「"」のセクションで。 3.5.3 シェルのパラメータ展開 "
• bashのマニュアルページのquot;Parameter Expansion"というセクションにあります。