bash - 在 bash 中检查 .pgn 不区分大小写扩展名的更短方法

Question

我正在编写一个 bash 程序，用于在文件夹中搜索 .pgn(可移植游戏符号)文件。但在我的程序中，.pgn 扩展名不区分大小写。这意味着它们可以是小写或大写或两者的组合。 (.Pgn、.PGN、.pGn、.等)。
因此，为了检查扩展名，我这样做:

extension="${file: -4}"
extension="${extension,,}"
if [ "${extension}" == ".pgn" ]

我想知道是否有办法以更短的方式做到这一点。更短地说，我的意思是在 if 语句中完成所有操作。
预先感谢您对我的帮助。

Answer 1

使用 bash 和正则表达式:

if [[ "$file" =~ \.[Pp][Gg][Nn]$ ]]

或者将$file的内容以小写形式输出，然后只与小写形式进行比较:

if [[ "${file,,}" =~ \.pgn$ ]]