Gibt es in Python eine integrierte Funktion, die die Erweiterung eines Dateinamens (falls vorhanden) ersetzt (oder entfernt)?
Beispiel:
print replace_extension('/home/user/somefile.txt', '.jpg')
In meinem Beispiel: /home/user/somefile.txt
würde werden/home/user/somefile.jpg
Ich weiß nicht, ob es wichtig ist, aber ich brauche dies für ein SCons-Modul, das ich schreibe. (Vielleicht gibt es einige SCons-spezifische Funktionen, die ich verwenden kann?)
Ich hätte gerne etwas Sauberes . Ein einfacher String-Austausch aller Vorkommen .txt
innerhalb des Strings ist offensichtlich nicht sauber. (Dies würde fehlschlagen, wenn mein Dateiname ist somefile.txt.txt.txt
)