Existe-t-il une fonction intégrée en Python qui remplacerait (ou supprimerait, peu importe) l'extension d'un nom de fichier (s'il en a une)?
Exemple:
print replace_extension('/home/user/somefile.txt', '.jpg')
Dans mon exemple: /home/user/somefile.txt
deviendrait/home/user/somefile.jpg
Je ne sais pas si cela compte, mais j'en ai besoin pour un module SCons que j'écris. (Alors peut-être y a-t-il une fonction spécifique à SCons que je peux utiliser?)
J'aimerais quelque chose de propre . Faire un simple remplacement de chaîne de toutes les occurrences de .txt
la chaîne n'est évidemment pas propre. (Cela échouerait si mon nom de fichier est somefile.txt.txt.txt
)