我有一个文件music.txt与audios下载,看起来像这样:
http://somehow/music/hexfilename1.mp3 1.mp3
http://somehow/music/hexfilename2.mp3 2.mp3
http://somehow/music/hexfilename3.mp3 3.mp3
http://somehow/music/hexfilename4.mp3 4.mp3
Run Code Online (Sandbox Code Playgroud)
我只想下载mp3文件,并保存为指定的名称.例如,从http://somehow/music/hexfilename1.mp3下载,我们将保存为1.mp3.