【发布时间】:2016-05-27 11:12:30
【问题描述】:
我想更改保留扩展名的文件的名称。条件是如果时间戳失败可能是因为 TSA 不可用,那么我想将文件标记为“未签名”
已找到签名的代码here
场景是:
批处理文件:sign.bat
arg2 : file1.exe
预期输出
如果时间戳失败,则需要将 'file1.exe' 标记为 'file1_unsigned.exe'
在我做的所有搜索之后,
echo Timestamping failed , marking the file as unsigned.
set file_name=%2
set unsigned_file_name=%file_name:.exe=_unsigned.exe%
ren %file_name% %newfilename%
这通过向原始文件添加字符串来保留文件扩展名。
有没有更好的方法来做到这一点?可能正在使用模式匹配?
【问题讨论】:
标签: windows batch-file rename file-extension