Как переименовать расширение файла в Python

Задача: в папке лежит файл с расширением .raw и мне нужно переименовать этот файл на такой же, но с другим расширением .txt – как это делать?

Решение:

Нужно импортировать модуль os, у которого есть методы os.path.splitext() и os.rename(). Методом os.path.splitext() можно разделить исходный файл на две части – его имя и разрешение, которое попадает в квадратные скобки как [0] – имя и [1] – разрешение. Далее нужно просто склеить имя с новым разрешением через os.rename().

#Переименовать файл из .raw в .txt

import os

file="C:/Users/Vasya/Documents/Python/tangaria/scores.raw"

filename = os.path.splitext(file)[0]

os.rename(file, filename + ".txt")