python:批量修改文件扩展名

import os
# 列出当前目录下所有的文件
files = os.listdir(".")      

for filename in files:
    portion = os.path.splitext(filename)
    # 如果后缀是.mp4
    if portion[1] == ".mp4": 
        # 重新组合文件名和后缀名  
        newname = portion[0] + ".rmvb"  
        os.rename(filename,newname)

什么？你的扩展名是.txt.txt.txt，且不说你是怎么搞的吧
数数你的最多有几个套娃扩展名,下方的“2”改成个数，替换倒数第二行代码即可
newname=filename.rsplit( ".", 2 )[ 0 ] + ".rmvb"

hissin'~2021~python:批量修改文件扩展名