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