Serguey Zefirov
Why there is no switch to turn off any use of proxy in cabal-install? Or to supply username/password pair in command line.
I have a strange situation: wget works like charm ignoring proxy (I downloaded Cabal and cabal-install to investigate the problem using wget), Firefox works like charm igoring proxy, and only cabal cannot access anything, because it follows proper proxy protocol and our proxy requires username and password.
"Ignoring proxy"?
And I don't know of proper way to supply them through http_proxy environment variable.
export http_proxy="http://${username}:${password}@${proxy_url}"
PS And while I am on it, I'd like to suggest that cabal-install should read common options like credentials from environment or configuration file.
Which credentials? I thought that the proxy stuff was how the system connected to the net, etc. and cabal-install just used the system's connection... (I could be wrong however). -- Ivan Lazar Miljenovic Ivan.Miljenovic@gmail.com IvanMiljenovic.wordpress.com