shell 获取一个文件的文件名和后缀名

*file=”thisfile.txt” web

thisfile
echo “filename: ${file%.*}”svg

txt
echo “extension: ${file##*.}”this