如何在Python中从文件名替换（或剥离）扩展名？

Question

Python中是否有内置函数可以替换（或删除，无论如何）文件名的扩展名（如果有扩展名）？

例：

print replace_extension('/home/user/somefile.txt', '.jpg')

在我的示例中：/home/user/somefile.txt将成为/home/user/somefile.jpg

我不知道这是否重要，但是我正在编写的SCons模块需要它。（所以也许有一些我可以使用的SCons特定功能？）

我想要一些 干净的
东西。对所有出现.txt在字符串中的字符串进行简单的字符串替换显然并不干净。（如果我的文件名是，这将失败somefile.txt.txt.txt）

Answer 1

试试os.path.splitext它应该做你想要的。

import os
print os.path.splitext('/home/user/somefile.txt')[0]+'.jpg'