¿Cómo reemplazar (o quitar) una extensión de un nombre de archivo en Python?
¿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.txtse 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 …