Existe uma função embutida no Python que iria substituir (ou remover, qualquer que seja) a extensão de um nome de arquivo (se houver)?
Exemplo:
print replace_extension('/home/user/somefile.txt', '.jpg')
No meu exemplo: /home/user/somefile.txt
seria/home/user/somefile.jpg
Não sei se isso importa, mas preciso disso para um módulo SCons que estou escrevendo. (Então, talvez haja alguma função específica do SCons que eu possa usar?)
Eu gostaria de algo limpo . Fazer uma simples substituição de string de todas as ocorrências de .txt
dentro da string obviamente não está limpo. (Isso iria falhar se meu nome de arquivo for somefile.txt.txt.txt
)