1. file=”thisfile.txt”  

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

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