Python 批量修改文件名

在头像识别中，生成了一批.pgm的头像，在电脑上不能看到预览图，挺麻烦，想批量改为.jpg看看效果，再改回去。。

    pathdir = r"./data/from"
    for file in os.listdir(pathdir):
        ext = os.path.splitext(file)

        if ext[1] == '.pgm':
            newext = '.jpg'
            filename = ext[0] + newext
            oldfile = os.path.join(pathdir,file)
            newfile = os.path.join(pathdir,filename)
            os.rename(oldfile,newfile)

将文件取出来，拆解开，换掉后缀，拼接路径后，重命名。。。
刷刷的  执行完了。。。