
Hi Duncan, On Tue, 2007-11-27 at 02:02 +0000, Duncan Coutts wrote:
Actually I'm just at the moment rewriting the way cabal-install handles command line arguments.
OK, I'll look out for your changes.
I tried to mimic the way other options work but can't get it working. Can you point out why? Several of the functions below aren't expected to work properly but should allow this line to be read from .cabal/conf:
http_proxy:http://proxy.server.com:80
Ok, seems sensible. (We seem to be using a convention like .cabal files with -'s in field names rather than _'s. It's only a minor consistency nit.)
I'll change that to http-proxy -- I thought _ looked out of place but was sticking with the name of the env var.
I would suggest not rewriting a parser for URIs and instead use the standard Network.URI which provides a URI data type and a parser.
Thanks, I didn't know a URI included usernames etc too. Then ProxyInfo isn't needed and we can just have Maybe URI. Jim.
Duncan