用于重命名文件扩展名的Bash脚本

#!/bin/bash

# 设置目标文件夹路径
target_folder="/path/to/target/folder"

# 获取目标文件夹中的所有.txt文件列表
file_list=$(ls $target_folder/*.txt)

# 遍历文件列表，对每个文件进行重命名操作
for file in $file_list
do
    # 获取文件名和扩展名
    filename=$(basename -- "$file")
    extension="${filename##*.}"

    # 检查扩展名是否为txt
    if [ "$extension" = "txt" ]; then
        # 将扩展名替换为csv
        new_filename="${filename%.*}.csv"

        # 使用mv命令重命名文件
        mv "$file" "$target_folder/$new_filename"
        echo "已将文件 $filename 重命名为 $new_filename"
    fi
done