shell - 在 shell 脚本中用零填充字符串/文件名

Question

我正在制作编号为 1-1000 的文件。我需要将文件打印出来，以便 第一个 是 0000.txt , 第二个 0001.txt ，以及 第一百零一将是 0100.txt ， 等等。

什么命令可以完成与 printf 格式相同的事情 %04d在 c?

编辑:我在 Mac OSX 上运行所有东西，并在终端中使用 bash。太公平了，我不知道 POSIX 是什么，甚至不知道 shell 是什么。抱歉，我之前没有指定我的系统。

Answer 1

使用 printf，就像在 C 中一样。它可以在任何 POSIXly Bourne Shell(zsh、ksh、bash 等)中使用

$ FILE=$(printf %04d 42).txt
$ echo "$FILE"
0042.txt