Як замінити розширення з імені файлу в Python?
Чи є вбудована функція в Python, яка б замінила (або видалила, що завгодно) розширення імені файлу (якщо він має)? Приклад: print replace_extension('/home/user/somefile.txt', '.jpg') У моєму прикладі: /home/user/somefile.txtстав би/home/user/somefile.jpg Я не знаю, чи це має значення, але мені це потрібно для модуля SCON, про який я пишу. (Тож, можливо, є якась …