利用 Python 进行批量更改文件后缀