在这里的大力帮助下,我很快将所有 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
有很多不同的方法可以做到这一点,但以你的尝试为起点
也就是说,与其匹配所有
jpg
文件,然后尝试测试每个文件有多少位数,只需匹配具有两个前导数字的文件。echo
一旦您对它正常工作感到满意,请删除它。或者,您可以使用基于 Perl 的
prename
命令执行以下操作:这需要 a 之前的任何非空数字序列
.
并将它们重新打印为零填充到最小宽度为 3 位。