Hey, thanks for all the suggestions! Turns out my /etc/wgetrc was write-protected—had to sudo edit it. Also, the proxy needed auth, which I totally missed.
One last q: does wget cache proxy settings? Had to reboot to make it stick, which seems weird.
(And yeah, the `use_proxy = on` line fixed it. Thx!)
One last q: does wget cache proxy settings? Had to reboot to make it stick, which seems weird.
(And yeah, the `use_proxy = on` line fixed it. Thx!)