¿Existe una función incorporada en Python que reemplace (o elimine, lo que sea) la extensión de un nombre de archivo (si tiene una)?
Ejemplo:
print replace_extension('/home/user/somefile.txt', '.jpg')
En mi ejemplo: /home/user/somefile.txt
se convertiría/home/user/somefile.jpg
No sé si importa, pero necesito esto para un módulo SCons que estoy escribiendo. (Entonces, ¿quizás haya alguna función específica de SCons que pueda usar?)
Quisiera algo limpio . Hacer un simple reemplazo de cadena de todas las ocurrencias .txt
dentro de la cadena obviamente no es limpio. (Esto fallaría si mi nombre de archivo es somefile.txt.txt.txt
)