wget - 如何使用 wget 部分重命名下载的文件？

Question

我想从 ftp 服务器下载许多文件(大约 10000 个)。文件名太长。我只想用名称中的日期保存它们。例如:ABCDE201604120000-abcde.nc 我更喜欢20160412.nc可能吗？

Answer 1

我不确定wget是否提供了类似的功能，不过有了curl，可以从相对丰富的syntax中获益。它提供以指定感兴趣的 URL。例如:

curl \
    "https://ftp5.gwdg.de/pub/misc/openstreetmap/SOTMEU2014/[53-54].{mp3,mp4}" \
    -o "file_#1.#2"

将下载文件53.mp3、53.mp4、54.mp3、54.mp4。输出文件被指定为 file_#1.#2 - 这里，#1 被 curl 替换为序列 的值>[53-54] 对应正在下载的文件。同样，#2 被替换为 mp3 或 mp4。因此，例如，53.mp3 将保存为 file_53.mp3。