Shell獲取文件後綴名

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