我有一个包含数百个文件链接的文件,我需要全部下载它们
但是它们中的许多具有相同的文件名,因此默认情况下
wget -i
下载重复的文件为filename.ext.number
。我怎样才能将这种模式更改为类似filename_number.ext
的东西?
这其实不一定是wget,这只是我第一个想到的
示例文件:
www.example.com/file.exe
www.example.com/unknown.png
www.example.com/different.jpg
www.example.com/file.exe
www.example.com/unknown.png
(第二对与第一对完全不同)
前两个文件下载正常。 然后 wget 下载第二个
file.exe
但已经有一个同名的文件所以 wget 将它重命名为 file.exe.1
(与 unknown.png 相同)
我不知道重复文件名的确切数量所以可能有
file.exe.897
所以我不能制作一个简单的脚本来重命名它。让 wget 将它们正确重命名为 file_897.exe
这样会更容易