文件的批量改名脚本
将某目录下所有类似01jfkdjfld.pdf的文件改为01.pdf，其中01可能是其他数字，一行script搞定