Wgett: Download Manager
Saturday, February 17, 2007
I’ve mentioned before that I use wget as my download manager. By default, it’s a simple command-line downloader, but if you dig deep into man wget, you’ll find a wealth of options.
Here’s what I have in my .profile (for bash):
#wget and resume any file
wgett()
{
wget --timeout=40 -t inf -c "${1}" }
Yup, and so that’s why the title is not a typo. I’ve aliased wgett to this cute little function that waits for a timeout of 40s before retrying (but does it indefinitely) and then picks up where it left off. It’s invaluable, and it’s how I survive the Indian Internet.
Tags: software