Làm cách nào để thay thế (hoặc tách) một phần mở rộng khỏi tên tệp bằng Python?
Có một hàm tích hợp sẵn trong Python sẽ thay thế (hoặc loại bỏ, bất cứ điều gì) phần mở rộng của tên tệp (nếu nó có)? Thí dụ: print replace_extension('/home/user/somefile.txt', '.jpg') Trong ví dụ của tôi: /home/user/somefile.txtsẽ trở thành/home/user/somefile.jpg Tôi không biết nó có quan trọng không, nhưng tôi …