
8 May
2014
8 May
'14
9:48 a.m.
On Thu, May 8, 2014 at 8:22 PM, Simon Peyton Jones
On a machine that doesn't need to use a proxy server, what should $http_proxy be set to?
It's a Maybe (Maybe String) problem. Blame Cabal for not ignoring an empty http_proxy. The *nix programs I've tried treat empty as unset. The solution is: unset HTTP_PROXY. -- Kim-Ee