Esiste una funzione incorporata in Python che sostituisca (o rimuova, qualunque sia) l'estensione di un nome di file (se ne ha uno)?
Esempio:
print replace_extension('/home/user/somefile.txt', '.jpg')
Nel mio esempio: /home/user/somefile.txt
diventerebbe/home/user/somefile.jpg
Non so se sia importante, ma ne ho bisogno per un modulo SCons che sto scrivendo. (Quindi forse c'è qualche funzione specifica di SCons che posso usare?)
Vorrei qualcosa di pulito . .txt
Ovviamente non è chiaro fare una semplice sostituzione di stringa di tutte le occorrenze all'interno della stringa. (Questo fallirebbe se il mio nome file fosse somefile.txt.txt.txt
)