如何更改文件夹中的所有文件扩展名？

Question

我知道以前曾有人问过这个问题，但这不是我想知道的问题。

我想知道如何使用Python在文件夹中更改所有文件的扩展名。 就像批处理命令“ ren”一样，要更改所有文件的扩展名，应使用： 为此，请添加“ ren * .png * .jpg”。

如果可能的话，没有默认库中没有的新模块。

我调查了这个问题： Change the file extension for files in a folder in 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)
       newname = infilename.replace('.grf', '.las')
       output = os.rename(infilename, newname)

但是，有更好的方法吗？拜托，让我知道。

谢谢。