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