Как заменить (или удалить) расширение из имени файла в Python?
Есть ли в Python встроенная функция, которая могла бы заменить (или удалить что угодно) расширение имени файла (если оно есть)? Пример: print replace_extension('/home/user/somefile.txt', '.jpg') В моем примере: /home/user/somefile.txtстанет/home/user/somefile.jpg Не знаю, имеет ли это значение, но мне это нужно для модуля SCons, который я пишу. (Так, может быть, я могу использовать …