【发布时间】:2019-08-09 16:32:06
【问题描述】:
我正在尝试使用 wget 下载一系列文件。这在 curl 中效果很好,但我喜欢通过间隔调用和在 wget 中的请求之间提供几秒钟的等待来轻松地在服务器上运行的能力。但是,我无法添加前导零,这似乎不起作用:
wget --wait=5 http://exampleurl.com/{001..102}0
上述命令会产生 404,因为前面的 0 和 00 没有出现,因此它的工作原理与 {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
有什么建议吗?
【问题讨论】:
-
将
echo "$BASH_VERSION"的输出添加到您的问题(无评论)。 -
这表明我对 Bash 版本有误,因为它生成 3.2 而不是 bash --version 的输出。我会检查终端偏好:谢谢。
标签: bash wget leading-zero brace-expansion