Windows 7 如何在Windows 7命令行中切换文件名

我想使用批处理文件（Windows 7命令行）切换两个文件的名称。我写了下面的代码，但它不起作用

IF EXIST test12.txt
rename test.txt test23.txt
rename test12.txt test.txt

有人能帮我更正这个代码吗

谢谢

---

编辑：当我从命令行运行时，它会说“命令的语法不正确”。那么语法是什么呢？这只是为了检查目录的存在吗？

不确定这是否是您要问的问题。也许你的IF子句不正确。通过使用（）代码应该可以改进

IF EXIST test12.txt (
    rename test.txt test23.txt
    rename test12.txt test.txt
)

---

你怎么说它不起作用了？你在观察什么？阅读你的问题的人会如何复制它？对不起。。。我指的是Windows7命令行。当我运行批处理文件（通过dbl单击它）时，我没有看到文件名有任何更改。谢谢。。。这起作用了。我想我找到了一个老例子，所以它不起作用。