我想使用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
答案 0 :(得分:1)
我也害怕,看得见。 我纯粹是在这里做了我的解决方案。
rename -v 's/\.(jpeg|jpg|png|gif)\.(\d{1,3})$/_$2\.$1/' *