如何使用Python更改文件夹中的特定文件扩展名？

How to change specific file extensions in a folder using Python ?

本问题已经有最佳答案，请猛点这里访问。

我阅读了一些关于使用python代码更改文件扩展名的信息。我有一个大文件夹，有几个文件类型，如.csv、.json和.sf1。我要做的就是把所有的.sf1文件替换成.txt文件。在python中任何建议的代码都会有所帮助。