如何在Linux上批量添加文件扩展名前的日期

#!/bin/bash

# 指定文件夹路径
folder="/path/to/folder"

# 遍历文件夹中的所有文件
for file in "$folder"/*; do
    # 判断是否为普通文件
    if [ -f "$file" ]; then
        # 获取文件的修改时间
        timestamp=$(stat -c %Y "$file")
        # 将时间戳转换为日期格式
        date=$(date -d @$timestamp +"%Y%m%d")
        # 获取文件的扩展名
        extension="${file##*.}"
        # 构造新的文件名
        new_filename="${date}.${extension}"
        # 重命名文件
        mv "$file" "${file%.*}.${new_filename}"
    fi
done