您如何在 wget 请求中缺少前导 0 以显示?

How do you get missing leading 0 to show on wget request?

我正在尝试使用 wget 下载一系列文件。这在 curl 中运行良好,但我喜欢通过间隔调用在服务器上轻松进行的能力,并在 wget 中的请求之间提供几秒钟的等待。但是,我无法添加前导零,这似乎不起作用:

wget --wait=5 http://exampleurl.com/{001..102}0

上述命令产生 404 是因为前导 000 没有出现,因此它的工作原理与 {1..101} 基本相同。

以防万一我的 High Sierra OS X (Bash 3.2) 上的旧 Bash 版本出现问题,我将 Bash 升级到 5.0。 7.然而即便如此,bash 括号似乎并没有像其他人报告的那样产生前导零:

echo {01..30}
1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30

有什么建议吗?

尽管我声称我已升级 Bash,但升级后的版本实际上并未用于这些命令。在询问 bash 版本时会产生:

bash --version
GNU bash, version 5.0.7(1)-release (x86_64-apple-darwin17.7.0)
...etc...

但是,正如用户 Cyrus 在他对我的问题的评论中所建议的那样,输入:

echo "$BASH_VERSION"

显示我还是运行3.2.

可以在 OS X 的终端应用程序首选项中找到修复程序。在 "Command (complete path):" 下的框中显示 "Shell opens with:" 我提供了升级版本的路径bash 由自制软件安装。打开一个新的 window 现在显示:

echo "$BASH_VERSION"
5.0.7(1)-release