2010/5/19 Ivan Lazar Miljenovic :

Serguey Zefirov writes:

...

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"?

Yes, they go right to internet. Firefox set to "No proxy" connection type.

...

And I don't know of proper way to supply them through http_proxy environment variable. export http_proxy="http://${username}:${password}@${proxy_url}"

I tried it and it didn't work. I don't know reason, though, maybe it was because my current password not entirely alphanumeric.

On May 19, 2010, at 04:49 , Ivan Lazar Miljenovic wrote:

Serguey Zefirov writes:

...

...

export http_proxy="http://${username}:${password}@${proxy_url}"

I tried it and it didn't work. I don't know reason, though, maybe it was because my current password not entirely alphanumeric.

Shouldn't matter as long as you put it within quotes.

I imagine things will go wrong if it includes an @... urlencoding is probably a smart idea. -- brandon s. allbery [solaris,freebsd,perl,pugs,haskell] allbery@kf8nh.com system administrator [openafs,heimdal,too many hats] allbery@ece.cmu.edu electrical and computer engineering, carnegie mellon university KF8NH