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

输出:

filename:thisfile

extension:txt