我想更改特定文件夹中文件的扩展名。我在论坛上读到了这个话题。使用确实的想法,我编写了以下代码,我希望它可以工作,但它没有。我将感谢任何指导以找到我的错误。
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')