使用wget更好地重命名下载的文件

时间:2017-03-10 20:11:49

标签: wget

我想使用wget列出文件列表。 列表中的URL相对不同。

如果同一文件名被下载两次,但是从另一个域下载,则重命名该文件并添加一个数字作为文件扩展名。

我希望计算文件名,而不是文件扩展名。 我可以使用wget来调整模式,以便计算文件名,或者我是否必须编写一个额外的脚本来修复它? 你能救我吗?

启动wget:

wget -nv -i "files.txt" --directory-prefix=files;

files.txt的内容:

http://example.com/apple.jpg
http://example.org/apple.jpg
http://example.net/apple.jpg

已下载的文件:

apple.jpg
apple.jpg.1
apple.jpg.2

所需文件名:(示例)

apple.jpg
apple-1.jpg
apple-2.jpg

1 个答案:

答案 0 :(得分:1)

我也害怕,看得见。 我纯粹是在这里做了我的解决方案。

rename -v 's/\.(jpeg|jpg|png|gif)\.(\d{1,3})$/_$2\.$1/' *