Bagaimana cara mengganti (atau menghapus) ekstensi dari nama file dengan Python?
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.txtakan 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 …