在Linux命令行下，批量修改文件扩展名

有一个小bug需要修改一下linux环境下文件的扩展名由GIF全部改成gif。 从网上找了一下，自己并不熟悉的命令行语言。有两个还算好理解的 1 for file in *.GIF do mv $file ${file%.*}.gif done 2 rename GIF gif *.GIF