在Linux命令行下,批量修改文件扩展名 有一个小bug需要修改一下linux环境下文件的扩展名由GIF全部改成gif。从网上找了一下,自己并不熟悉的命令行语言。有两个还算好理解的1for file in *.GIFdo mv $file ${file%.*}.gifdone2rename GIF gif *.GIF... linux使用命令 2024-05-27 197 点赞 2 评论 298 浏览