转自:http://blog.csdn.net/rainharder/article/details/6030255
- file=”thisfile.txt”
- echo “filename: ${file%.*}”
- echo “extension: ${file##*.}”
outputs:
filename: thisfile
extension: txt
转自:http://blog.csdn.net/rainharder/article/details/6030255
outputs:
filename: thisfile
extension: txt