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