bash - wget 用原始名称重命名

Question

我正在使用 bash 脚本来运行类似下面的内容

for i in {1..50}; 
do  
    wget --content-disposition `http://example.com/getfile.php?id={$i}`
done

然后我可以得到文件

abc.mp3
abc.jpg
abc.png
...

但我想将 id 扩展到文件，如

1-abc.mp3
2-abc.jpg
3-abc.png
...

我可以使用 wget -o将文件重命名为 {$i}-{$orignalName.orignalExtention}

Answer 1

首先你应该使用 HEAD用于检索 originalName 的 HTTP 调用，例如:

-S --spider --content-disposition wget 的选项

-I -L cURL 的选项

例如:

originalFileName=$( wget --content-disposition -S --spider "http://example.com/getfile.php?id={$i}" |& grep "Content-Disposition" |sed -e 's/^.*filename=//' )

然后只需使用 -O 选项，并使用刚刚获得的 originalName 构建本地文件名和 i你已经拥有了。

使用您的脚本，它将给出:

for i in {1..50}; 
do  
    originalFileName=$( wget --content-disposition -S --spider "http://example.com/getfile.php?id={$i}" |& grep "Content-Disposition" |sed -e 's/^.*filename=//' )
    wget `http://example.com/getfile.php?id={$i}` -O "$i-$originalFileName"
done