查找文件扩展名的shell脚本

Question

我正在研究我在 git 中使用的 shell 脚本，它检查这是否是文件扩展名，然后执行这个可执行文件，否则执行此操作。我写了这个，但没有工作

if [[ $~x1  == *.datalink ]] then
C:/Users/salees/Compare.exe $1 $2
else
C:/Program Files/KDiff3/kdiff3.exe
exit 0

有人知道如何解决这个问题吗？

Answer 1

x=file.datalink
extension=${x##*.}

if [[ $extension = "datalink" ]] then
    # do something
else
    # do otherwise
fi

假设您将文件名放在x 变量中，示例中为“file.datalink”