以原始名称保存下载的文件

Question

我正在尝试使用Python中的wget下载一些文件，但是我在将文件保存在其原始名称和扩展名时存在问题。

如果我在浏览器中打开链接，我会得到文件的原始名称和扩展名（当然）。但如何从脚本中获取它？

具体来说，url是参数化的，类似于：

path/to/file?id=123&type=logDoc

Answer 1

在https://pypi.python.org/pypi/wget中完美描述：

>>> import wget
>>> url = 'http://www.futurecrew.com/skaven/song_files/mp3/razorback.mp3'
>>> filename = wget.download(url)
100% [................................................] 3841532 / 3841532>
>> filename
'razorback.mp3'