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

我想更改特定文件夹中的文件的扩展名.我在论坛上读到了这个主题.使用想法,我已经编写了以下代码,我希望它可以工作,但事实并非如此.我会感谢任何找到我的错误的指导.

import os,sys
   folder = '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)
           infile= open(infilename, 'r')
           newname = infilename.replace('.grf', '.las')
           output = os.rename(infilename, newname)
           outfile = open(output,'w')

源文件上的open是不必要的,因为os.rename只需要源和目标路径来完成工作.而且,os.rename总是返回None,所以在返回值上调用open是没有意义的.

import os,sys
folder = '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)

我只是将两个打开了.检查这是否适合您.