Existe-t-il une fonction intégrée dans 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 c'est important, mais j'en ai besoin pour un module SCons que je suis en train d'écrire. (Il y a donc peut-être une fonction spécifique à SCons que je peux utiliser ?)
J'aimerais quelque chose propre . En effectuant un simple remplacement de chaîne de caractères de toutes les occurrences de .txt
à l'intérieur de la chaîne n'est évidemment pas propre. (Cela échouerait si mon nom de fichier était somefile.txt.txt.txt
)