我想分别获取文件名(不带扩展名)和扩展名。
到目前为止,我发现的最佳解决方案是:
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##*/}"
您可能要检查文档: