จะแทนที่ (หรือถอด) ส่วนขยายจากชื่อไฟล์ใน Python ได้อย่างไร?
มีฟังก์ชันในตัวใน Python ที่จะแทนที่ (หรือลบอะไรก็ได้) ส่วนขยายของชื่อไฟล์ (ถ้ามี)? ตัวอย่าง: print replace_extension('/home/user/somefile.txt', '.jpg') ในตัวอย่างของฉัน: /home/user/somefile.txtจะกลายเป็น/home/user/somefile.jpg ฉันไม่รู้ว่ามันสำคัญหรือเปล่า แต่ฉันต้องการสิ่งนี้สำหรับโมดูล SCons ที่ฉันกำลังเขียนอยู่ (ดังนั้นอาจมีฟังก์ชันเฉพาะของ SCons ที่ฉันสามารถใช้ได้) ฉันต้องการบางสิ่งบางอย่างที่สะอาด การเปลี่ยนสตริงอย่างง่ายของเหตุการณ์ทั้งหมด.txtภายในสตริงนั้นไม่สะอาดอย่างเห็นได้ชัด (สิ่งนี้จะล้มเหลวหากชื่อไฟล์ของฉันคือsomefile.txt.txt.txt)