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

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

2
rename GIF gif *.GIF

没有更多推荐了,返回首页

私密
私密原因:
请选择设置私密原因
  • 广告
  • 抄袭
  • 版权
  • 政治
  • 色情
  • 无意义
  • 其他
其他原因:
120
出错啦
系统繁忙,请稍后再试