将格式为 *.extension.{index} 的所有文件重命名为 *_{index}.extension

Question

这个问题与这有关 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”等扩展名后没有任何内容的文件，我无法弄清楚如何单独提取整数部分。如能提出建议，我将不胜感激。