首页
学习
活动
专区
工具
TVP
发布
精选内容/技术社群/优惠产品,尽在小程序
立即前往

如何在bash脚本中检查文件名的扩展名?

在 Bash 脚本中检查文件名的扩展名,可以使用以下方法:

  1. 使用 basename 命令和 awk 命令:
代码语言:bash
复制
filename="example.txt"
file_extension=$(basename "$filename" | awk -F . '{print $NF}')
  1. 使用 expr 命令:
代码语言:bash
复制
filename="example.txt"
file_extension=$(expr "$filename" : '.*\.\(.*\)')
  1. 使用 grep 命令和 sed 命令:
代码语言:bash
复制
filename="example.txt"
file_extension=$(grep -oE "\.[^.]+$" <<< "$filename" | sed 's/^.//')
  1. 使用 Bash 字符串操作:
代码语言:bash
复制
filename="example.txt"
file_extension="${filename##*.}"
  1. 使用 awk 命令:
代码语言:bash
复制
filename="example.txt"
file_extension=$(awk -F . '{print $NF}' <<< "$filename")

在这些方法中,可以选择任何一种方法来检查文件名的扩展名。例如,如果要检查文件名 "example.txt" 的扩展名,可以使用以下代码:

代码语言:bash
复制
filename="example.txt"
file_extension="${filename##*.}"
echo "File extension: $file_extension"

输出将是:

代码语言:txt
复制
File extension: txt

这些方法都可以在 Bash 脚本中使用,并且不需要使用任何第三方库或工具。

页面内容是否对你有帮助?
有帮助
没帮助

相关·内容

2分7秒

基于深度强化学习的机械臂位置感知抓取任务

领券