在这里的大力帮助下,我很快将所有 jpg 文件转换为 gif(再次感谢)
但是当我查看我的文件时,我注意到一些文件夹我在文件名中添加了一个零。
我尝试使用的文件名标准是 001.gif、002.gif .... 但有些文件有 01.gif、02.gif 等,这对我不利。
因此,通过代码,我从 convert 那里找到了一个叫做地球之星的东西,我已经准备好看看我是否可以自己解决这个问题:)
但是当我运行代码时什么也没发生。现在我只是试着看看我是否可以转换有JPG的文件
for f in /lib/**/*jpg; do
if [ "${#f}" -eq 2 ]; then
mv "$f" "0$f"
fi
done