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
)
可能的重复[在Python中提取文件名中的扩展名](http://stackoverflow.com/questions/541390/extracting-extension-from-filename-in-python) – 2010-08-23 15:55:40
SCons允许获取操作字符串中的文件库。你能发布你的scons特定的逻辑吗?这是行动,发射器,扫描仪? – bdbaddog 2015-11-01 03:00:49