网上下载的批量替换文件名的工具大多都带了插件，要不就是关闭时打开某网页，于是自己写了一个，在这里奉献给需要的人。界面不是那么批量的。