Esiste una funzione incorporata in Python che dovrebbe sostituire (o rimuovere, qualunque sia) l'estensione di un nome file (se ne ha uno)?Come sostituire (o rimuovere) un'estensione da un nome file in Python?
Esempio:
print replace_extension('/home/user/somefile.txt', '.jpg')
Nel mio esempio: /home/user/somefile.txt
sarebbe diventato /home/user/somefile.jpg
Non so se è importante, ma ho bisogno di questo per un modulo SCons che sto scrivendo. (Quindi forse c'è qualche funzione specifica di SCons che posso usare?)
Vorrei qualcosa pulito. Fare una semplice sostituzione di stringa di tutte le occorrenze di .txt
all'interno della stringa ovviamente non è pulito. (Questo fallirebbe se il mio nome fosse somefile.txt.txt.txt
)
possibile duplicazione di [Estrazione dell'estensione dal nome del file in Python] (http://stackoverflow.com/questions/541390/extracting-extension-from-filename-in-python) –
SCons consente di accedere alla base file in una stringa di azioni. Puoi pubblicare la tua logica specifica di scons che ha bisogno di questo? Questo è per azione, emettitore, scanner? – bdbaddog