Adding an option to cabal-install

[jb162 at brighton.ac.uk]

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
>