Apakah ada fungsi built-in dalam Python yang akan menggantikan (atau menghapus, apapun) ekstensi nama file (jika ada)?
Contoh:
print replace_extension('/home/user/somefile.txt', '.jpg')
Dalam contoh saya: /home/user/somefile.txt
akan menjadi/home/user/somefile.jpg
Saya tidak tahu apakah itu penting, tetapi saya membutuhkan ini untuk modul SCons yang saya tulis. (Jadi mungkin ada beberapa fungsi khusus SCons yang dapat saya gunakan?)
Saya mau yang bersih . Melakukan penggantian string sederhana dari semua kejadian .txt
di dalam string jelas tidak bersih. (Ini akan gagal jika nama file saya somefile.txt.txt.txt
)