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