如何在Python中从文件名替换（或剥离）扩展名？
Python中是否有内置函数可以替换（或删除，无论如何）文件名的扩展名（如果有扩展名）？ 例： print replace_extension('/home/user/somefile.txt', '.jpg') 在我的示例中：/home/user/somefile.txt将变为/home/user/somefile.jpg 我不知道这是否重要，但是我正在编写的SCons模块需要它。（所以也许有一些我可以使用的SCons特定功能？） 我想要一些干净的东西。对所有出现.txt在字符串中的字符串进行简单的字符串替换显然并不干净。（如果我的文件名是，这将失败somefile.txt.txt.txt）