python 重命名文件夹下文件的名字

以前也写过类似的文件，更改几万张图像的名字，但是忘记把代码存在哪里了，今天又遇到类似的问题

文件夹下文件的名字如下

我想把这个名字弄短一点

比如这样的↓    这也是最后的实际效果

代码如下↓

import os

#文件路径
path = 'D:\BaiduNetdiskDownload\JOJO的奇妙冒险_星尘斗士'   
#获得文件夹下的所有文件名
FileList = os.listdir(path)     

#循环文件名，根据关键字 '[01','[10' 之类的确定文件，再重命名
for file in FileList:
    OldFileName = os.path.join(path,file)
    #JOJO第三一共49集
    for i in range(49):         
        NewFileName = os.path.join(path,'JOJO的奇妙冒险_星尘斗士' + '[' + str(i+1) + '].MP4')
        #获得关键字 '[01','[10'
        if i <= 9:
            FileKeyName = '[0' + str(i)
        else:
            FileKeyName = '[' + str(i)
        if FileKeyName in file:
            os.rename(OldFileName, NewFileName)
            print(file,FileKeyName)