python批量修改文件名

今天从抖音上下载了很多个小视频，名字太长，找了个程序把它改成1，2，3…

import os

path ="C:/Users/Administrator/Desktop/english learning/"

filename_list = os.listdir(path)

a = 0
for i in filename_list:
    used_name = path + filename_list[a]
    new_name = path + str(a)+".mp4"
    os.rename(used_name,new_name)
    a=a+1