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