更改文件夹中文件的文件扩展名？

更改文件夹中文件的文件扩展名？

在

open

对源文件是不必要的，因为

os.rename

只需要在源和目标路径来完成这项工作。而且，

os.rename

始终返回

None

，因此调用

open

其返回值没有任何意义。

import os,sysfolder = 'E:/.../1936342-G/test'for filename in os.listdir(folder):       infilename = os.path.join(folder,filename)       if not os.path.isfile(infilename): continue       oldbase = os.path.splitext(filename)       newname = infilename.replace('.grf', '.las')       output = os.rename(infilename, newname)

我简单地删除了两个

open

。检查是否适合您。