![将格式为 *.extension.{index} 的所有文件重命名为 *_{index}.extension](https://linux22.com/image/1535505/%E5%B0%86%E6%A0%BC%E5%BC%8F%E4%B8%BA%20*.extension.%7Bindex%7D%20%E7%9A%84%E6%89%80%E6%9C%89%E6%96%87%E4%BB%B6%E9%87%8D%E5%91%BD%E5%90%8D%E4%B8%BA%20*_%7Bindex%7D.extension.png)
这个问题与这有关 Unix & Linux SE 的问题。
我有一堆文件名格式为 *.pdf.{index}(文件名由 wget 指定)的文件,我想将其重命名为 *_{index}.pdf。换句话说:file.pdf.1 应重命名为 file_1.pdf,依此类推。
我熟悉 (Ba)sh shell 脚本,但不熟悉 Windows shell 脚本。我尝试从
for %%f in (*.pdf.?) do (
echo %%f
(whatever)
)
但这似乎甚至匹配“test.pdf”等扩展名后没有任何内容的文件,我无法弄清楚如何单独提取整数部分。如能提出建议,我将不胜感激。