自动下载工具:wget。它非常稳定,有一次我下载一个程序,用 IE 和 Mozilla 下载回来的文件都是坏的,最后还是 wget 可靠的传输了数据。用它甚至可以镜像整个网站,比起 WebZip 这样的 Windows 程序强多了,而且不会因为你不付钱就在下载回来的网页里强制插入广告。info wget 可以得到完整的使用说明。
这里给出一个用 wget 下载我的整个网页的命令:
wget -r -p -np -k http://learn.tsinghua.edu.cn/homepage/015450/index.html