Tips: 本文创建于2015年5月13日,已超过 2 年,内容或图片可能已经失效!
file="thisfile.txt"
echo "filename: ${file%.*}"
echo "extension: ${file##*.}"

outputs:
filename: thisfile
extension: txt