Как я могу заменить (или удалить) расширение имени файла в Python?Python

Программы на Python
Anonymous
Как я могу заменить (или удалить) расширение имени файла в Python?

Сообщение Anonymous »

Есть ли в Python встроенная функция, которая заменяла бы (или удаляла что угодно) расширение имени файла (если оно есть)?
Пример:

Код: Выделить всё

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

Подробнее здесь: https://stackoverflow.com/questions/354 ... -in-python

Вернуться в «Python»