Cabal proxy configuration

My university requires the students to use internet through an authenticated http proxy. How do I configure cabal for that? I am using Ubuntu. Please be detailed about it. Thanks Azeem

On 28 January 2011 15:13, Azeem -ul-Hasan
My university requires the students to use internet through an authenticated http proxy. How do I configure cabal for that? I am using Ubuntu. Please be detailed about it.
Do you mean Cabal or cabal-install? Assuming the latter: export http_proxy=http://${username}:${password}@${proxy_address} -- Ivan Lazar Miljenovic Ivan.Miljenovic@gmail.com IvanMiljenovic.wordpress.com

Please explain this a bit. Where are the configuration files for cabal install. I tried to enter the line in the terminal and it apparently it accepted i.e gave no error but then running cabal update results in this error No action for prompting/generating user+password credentials provided (use: setAuthorityGen); returning Nothing cabal: Failed to download index 'ErrorMisc "Unsucessful HTTP code: (4,0,7)"' This is the first time I am using cabal so I am almost completely blank for it. Thanks Azeem
Date: Fri, 28 Jan 2011 15:26:08 +1000 Subject: Re: [Haskell-cafe] Cabal proxy configuration From: ivan.miljenovic@gmail.com To: azeeem@live.com CC: haskell-cafe@haskell.org
On 28 January 2011 15:13, Azeem -ul-Hasan
wrote: My university requires the students to use internet through an authenticated http proxy. How do I configure cabal for that? I am using Ubuntu. Please be detailed about it.
Do you mean Cabal or cabal-install?
Assuming the latter:
export http_proxy=http://${username}:${password}@${proxy_address}
-- Ivan Lazar Miljenovic Ivan.Miljenovic@gmail.com IvanMiljenovic.wordpress.com

On 28 January 2011 16:00, Azeem -ul-Hasan
Please explain this a bit. Where are the configuration files for cabal install.
cabal-install is configured in ~/.cabal/config However, as far as I'm aware it uses normal http connections and doesn't require any particular configuration for proxies: it just uses the system settings. For example: http://serverfault.com/questions/132640/ubuntu-set-system-proxy-from-command... -- Ivan Lazar Miljenovic Ivan.Miljenovic@gmail.com IvanMiljenovic.wordpress.com
participants (2)
-
Azeem -ul-Hasan
-
Ivan Lazar Miljenovic