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