Git 查找文件扩展名的shell脚本

我正在编写一个在git中使用的shell脚本，该脚本检查这是否是文件扩展名，然后执行此可执行文件，否则执行此操作。我写了这篇文章，但没有起作用

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

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

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

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

---

假设您将文件名放在

x

变量中，示例中的“file.datalink”

究竟是什么不起作用？错误是什么？您编写的是什么特定的shell？您使用的是什么操作系统？我使用的是Windows7。我选择了一个数据链接文件，但它没有按预期调用我的Compare.exe文件。

[[]]

只是一个可移植性陷阱，相等运算符应该是

=

（不是非标准的

=

），文件名还未知。文件名不应该预定义，因为我可以选择任何类型的文件在git中进行比较。谢谢