Python中是否有一个内置函数可以替换(或删除)文件名的扩展名(如果有的话)?
例子:
print replace_extension('/home/user/somefile.txt', '.jpg')
在我的例子中,/home/user/somefile.txt将变成/home/user/somefile.jpg
我不知道这是否重要,但我需要这个我正在编写的SCons模块。(所以也许有一些特定的SCons函数我可以使用?)
我想要干净的。对字符串中出现的.txt进行简单的字符串替换显然是不干净的。(这将失败,如果我的文件名是somefile.txt.txt)