Gibt es eine eingebaute Funktion in Python, die die Erweiterung eines Dateinamens ersetzt (oder entfernt, was auch immer) (wenn es einen hat)?Wie ersetzt man eine Erweiterung von einem Dateinamen in Python?
Beispiel:
print replace_extension('/home/user/somefile.txt', '.jpg')
In meinem Beispiel: /home/user/somefile.txt
/home/user/somefile.jpg
werden würde, ich weiß nicht, ob es wichtig ist, aber ich brauche das für ein SCons Modul Ich schreibe. (Also vielleicht gibt es einige SCons spezifische Funktion, die ich verwenden kann?)
Ich möchte etwas sauber. Eine einfache String-Ersetzung aller Vorkommen von .txt
innerhalb der Zeichenfolge ist offensichtlich nicht sauber. (Dies würde fehlschlagen, wenn mein Dateiname somefile.txt.txt.txt
ist)
mögliches Duplikat von [Extrahieren von Dateinamenserweiterung in Python] (http://stackoverflow.com/questions/541390/extracting-extension-from-filename-in-python) –
SCONS ermöglicht das Abrufen der Dateibasis in einer Aktionszeichenfolge. Kannst du deine SCON-spezifische Logik posten, die das benötigt? Ist das für die Aktion, Emitter, Scanner? – bdbaddog