Como substituir (ou remover) uma extensão de um nome de arquivo em Python?
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.txtseria/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 …