Bat脚本实现文件名重命名：保留指定前缀并追加时间戳的需求咨询

Hi Mariano，我完全get到你的需求啦——你想把那些冗长的文件名简化成「前10位数字 + 规范日期时间」的格式，而不是在原文件名末尾生硬追加时间戳对吧？你的思路用for循环是对的，只是需要调整变量提取和拼接的逻辑，我来给你一步步说明怎么改：

首先，你的原脚本只是在原文件名后加时间戳，没有替换掉后面的冗余内容。我们需要完成两个核心操作：精准提取文件名的前10位字符，生成标准化的日期时间字符串，然后把两者拼接成符合要求的新文件名。

这里给你一个兼容性拉满的脚本，解决了不同Windows系统日期格式不一致的问题：

@echo off
setlocal enabledelayedexpansion

:: 替换成你的目标文件夹路径，当前文件夹直接用 "." 即可
set "folder=."

for %%f in ("%folder%\*.txt") do (
    :: 先提取无扩展名的原文件名，再截取前10个字符作为固定前缀
    set "original_name=%%~nf"
    set "prefix=!original_name:~0,10!"
    
    :: 用wmic获取统一的ISO格式时间，避免系统格式差异导致的错误
    for /f "tokens=2 delims==" %%d in ('wmic os get localdatetime /value') do set "datetime_raw=%%d"
    :: 提取年月日，格式化为 yyyy-MM-dd
    set "date_part=!datetime_raw:~0,4!-!datetime_raw:~4,2!-!datetime_raw:~6,2!"
    :: 提取时分秒，格式化为 HH-mm-ss
    set "time_part=!datetime_raw:~8,2!-!datetime_raw:~10,2!-!datetime_raw:~12,2!"
    
    :: 执行重命名：前缀_日期_时间.原扩展名
    ren "%%f" "!prefix!_!date_part!_!time_part!%%~xf"
)

endlocal

我来拆解一下关键逻辑：

• setlocal enabledelayedexpansion：必须开启这个设置，否则在for循环里修改和读取变量会拿到旧值，直接导致逻辑出错。
• set "prefix=!original_name:~0,10!"：这行就是核心的前缀提取，比如从0000551127_loading_response_out_...里精准拿到0000551127。
• 用wmic os get localdatetime获取的时间是统一的ISO格式（比如20240520143542.123456+480），通过字符串截取拆分出年月日和时分秒，再拼成你需要的带横杠的规范格式，不管是中文还是英文系统都能正常工作。
• 最后用ren命令完成重命名，把前缀、日期、时间和原扩展名完美拼接。

关于你问的「能不能用一个命令完成」——严格来说强行塞成一行是可行的，但会变得极其晦涩，可读性和可维护性极差，出问题根本没法调试。上面的脚本已经是最简洁且可靠的写法了，完全用bat实现，不需要任何额外工具。

备注：内容来源于stack exchange，提问作者Mariano Calzada