我想分别获取文件名(不带扩展名)和扩展名。

到目前为止,我发现的最佳解决方案是:

NAME=`echo "$FILE" | cut -d'.' -f1`
EXTENSION=`echo "$FILE" | cut -d'.' -f2`

这是错误的,因为如果文件名包含多个.字符,则它将不起作用。假设我有a.b.js,它将考虑ab.js,而不是a.bjs

可以使用Python轻松完成
file, ext = os.path.splitext(path)

但如果可能的话,我不希望为此而启动Python解释器。

还有更好的主意吗?

最佳答案

首先,获取不带路径的文件名:

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

另外,您可以专注于路径的最后一个“/”而不是“。”。即使您具有无法预测的文件扩展名,它也应能正常工作:
filename="${fullfile##*/}"

您可能要检查文档:
  • 在网络上的“3.5.3 Shell Parameter Expansion”部分
  • 在bash手册页中的“参数扩展”部分
  • 09-04 04:27
    查看更多