我正在从包含 wget 文件名之外的附加信息的 url 下载文件列表。这导致文件名如下:
pythonbook.pdf@y=11&x=123
我真正想要的只是 pythonbook.pdf 部分。我的文件列表基本上是一个 URL 列表,例如:
https://dl.domain.com/pythonbook.pdf@y=11&x=123
我怎样才能没有文件名中不必要的部分?
我正在从包含 wget 文件名之外的附加信息的 url 下载文件列表。这导致文件名如下:
pythonbook.pdf@y=11&x=123
我真正想要的只是 pythonbook.pdf 部分。我的文件列表基本上是一个 URL 列表,例如:
https://dl.domain.com/pythonbook.pdf@y=11&x=123
我怎样才能没有文件名中不必要的部分?
在这种情况下,可能最容易遍历整个列表(因为
wget
似乎不支持动态创建输出文件名):url
是从文件中的 URL 列表中读取的 URL,pdf
只是其中的文件名部分。如果名称不唯一,您可以在文件名中添加一个数字,例如像这样(假设所有文件都是 PDF):
或(如果文件有不同的后缀)