Shell获取文件后缀名

file = "thisfile.txt"  
echo "filename: ${file%.*}" 
echo "extension: ${file##*.}"