【问题标题】:How to rename wget-downloaded files sequentially?如何按顺序重命名 wget 下载的文件?
【发布时间】:2015-09-02 01:00:24
【问题描述】:

假设我正在使用 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 上。

【问题讨论】:

  • 也许你应该在下载后使用时间戳重命名...
  • @MaheshKharvi 下载文件的时间戳不是下载时间,它们的时间戳是服务器中的原始时间戳..
  • 可以使用ls -crt按照修改日期排序

标签: image bash curl rename wget


【解决方案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 位

【讨论】:

    猜你喜欢
    • 1970-01-01
    • 1970-01-01
    • 1970-01-01
    • 2017-04-10
    • 1970-01-01
    • 1970-01-01
    • 1970-01-01
    • 2020-10-20
    • 2015-01-24
    相关资源
    最近更新 更多