小编Raz*_*ssh的帖子

在这里的大力帮助下，我很快将所有 jpg 文件转换为 gif（再次感谢很多）

但是当我环顾我的文件时，我注意到我在某些文件夹的文件名中添加了一个零。

我试图拥有的文件名标准是 001.gif、002.gif.... 但有些文件有 01.gif、02.gif 等等，这对我不利。

因此，使用代码，我从转换中得到，我找到了一个叫做地球之星的东西，我准备好看看我是否可以为自己解决这个问题:)

但是当我运行代码时什么也没发生。现在我只是尝试看看是否可以转换具有 JPG 的文件

for f in /lib/**/*jpg; do
        if [ "${#f}" -eq 2 ]; then
    mv "$f" "0$f" 
    fi 
done