用于查找文件扩展名的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”中的示例