要使用批处理来修改文件名，可以使用ren命令。以下是一个示例批处理脚本，可以将指定文件夹下所有文件的扩展名从.txt修改为.bat：
@echo off
setlocal enabledelayedexpansion
set "folder=C:\path\to\your\folder"
for %%F in ("%folder%\*.txt") do (
set "filename=%%~nF"
ren "%%F" "!filename!.bat"
)
echo File names have been modified.
请将上述示例中的C:\path\to\your\folder替换为你要修改文件名的文件夹路径。
这个批处理脚本会遍历指定文件夹下所有.txt扩展名的文件，获取每个文件的文件名，并使用ren命令将文件名的扩展名修改为.bat。
