如何按顺序重命名wget下载的文件？

Question

我们说我正在使用wget从网站下载图像文件。

wget -H -p -w 2 -nd -nc -A jpg,jpeg -R gif "forum.foo.com/showthread.php?t=12345"

该页面中有20个图像..下载后，图像将保存为原始文件名。

我想将wget下载的第一张图片重命名为 001-original_filename.jpg，第二个002-original_filename.jpg，依此类推......

怎么办？是否需要bash或curl？

注意：我在Windows上。

Answer 1

如果您安装了bash，请在下载文件后运行。

i=1
ls -crt | while read file; do
   newfile=$(printf "%.3d-%s\n" $i "$file")
   mv "$file" "$newfile"
   i=$((i+1))
done

ls -crt：使用创建日期列出文件，使用时间戳列出逆序。

printf中的

.3d将精确数字设为3位数