我正在从包含 wget 文件名之外的附加信息的 url 下载文件列表。这导致文件名如下：
pythonbook.pdf@y=11&x=123
我真正想要的只是 pythonbook.pdf 部分。我的文件列表基本上是一个 URL 列表，例如：
https://dl.domain.com/pythonbook.pdf@y=11&x=123
我怎样才能没有文件名中不必要的部分？
由于对 wget 的了解有限，我有一堆文件，其名称如下：
doc1.pdf@uselessjunk
doc1.mobi@uselessjunk
@怎样才能得到符号之前的文件名？有多个受影响的扩展，所以我不希望有任何东西替换特定的扩展。