bash - 如何使用 bash 用前导零填充文件名

Question

我正在编写一个 bash 脚本，它从电子表格生成文件名，然后将现有文件转换为新文件。我已经能够使用生成的文件名 62_02.png 作为示例进行转换。如您所见，它包含整数、下划线和文件扩展名(可以是字母数字)。

我喜欢简洁 this answer是而且我见过this post使用 awk 对纯数字文件名进行简单转换，但我不确定如何让它与下划线一起使用。

如有必要，如果可行，我也可以使用 sed。

我的目标是拥有一个如下所示的文件名:

0062_02.png

非常感谢!

结束信息:

我选择了下面的解决方案，因为它有更多的解决方案，以便其他阅读本文的人可以选择。但是，我想提一下@cabad 提供的答案也是有效的，并且可能是对新手程序员更友好的解决方案，恕我直言。

Answer 1

尝试在 shell 中执行此操作:

使用 bash :

$ a=62_02.png
$ printf -v newvar %04d_%s ${a%_*} ${a##*_}
echo "$newvar"
0062_02.png

另一个简洁的解决方案:

$ ( a=62_02.png; IFS=_; printf '%04d_%s\n' $a )
0062_02.png