Warning: file_get_contents(/data/phpspider/zhask/data//catemap/0/windows/15.json): failed to open stream: No such file or directory in /data/phpspider/zhask/libs/function.php on line 167

Warning: Invalid argument supplied for foreach() in /data/phpspider/zhask/libs/tag.function.php on line 1116

Notice: Undefined index: in /data/phpspider/zhask/libs/function.php on line 180

Warning: array_chunk() expects parameter 1 to be array, null given in /data/phpspider/zhask/libs/function.php on line 181
Windows 重命名以开头的文件_Windows_Batch File - Fatal编程技术网

Windows 重命名以开头的文件

Windows 重命名以开头的文件,windows,batch-file,Windows,Batch File,我已经创建了一个批处理脚本,可以使用wget for Windows自动更新一些文件。它下载文件名中包含版本号的文件,例如server-2.0.exe。我想自动将文件重命名为server.exe请尝试以下操作: ren server????.exe server.exe 试试这个: ren server????.exe server.exe 这可能会满足您的需要,具体取决于文件名的变量: ren C:\server*.exe server.exe 这可能会满足您的需要,具体取决于文件名的变

我已经创建了一个批处理脚本,可以使用wget for Windows自动更新一些文件。它下载文件名中包含版本号的文件,例如
server-2.0.exe
。我想自动将文件重命名为
server.exe

请尝试以下操作:

ren server????.exe server.exe
试试这个:

ren server????.exe server.exe

这可能会满足您的需要,具体取决于文件名的变量:

ren C:\server*.exe server.exe

这可能会满足您的需要,具体取决于文件名的变量:

ren C:\server*.exe server.exe

我认为wget在其命令中直接具有该选项

--output-document=file

我认为wget在其命令中直接具有该选项

--output-document=file