Shell获取文件后缀名时间：2023-03-09 13:10:09 file = "thisfile.txt" echo "filename: ${file%.*}" echo "extension: ${file##*.}"
