This worked really well:
http://blog.taragana.com/index.php/archive/how-to-use-wget-through-proxy/
Since I'm in tcsh, I just used
setenv http_proxy ......
I'll make sure when I get home that it doesn't screw things up when not using the proxy, in which case we have to remember to comment things out.
Subscribe to:
Post Comments (Atom)
No comments:
Post a Comment