Cabal uses incorrect proxy settings
duncan.coutts at worc.ox.ac.uk
Sun Jun 15 15:57:23 EDT 2008
On Sat, 2008-06-14 at 14:59 +0100, Neil Mitchell wrote:
> I just tried:
> C:\Neil\hoogle>cabal update
> Downloading package list from server
> Warning: invalid http proxy uri: "wwwcache.sns.york.ac.uk:8080"
> Warning: proxy uri must be http with a hostname
> Warning: ignoring http proxy, trying a direct connection
> Obviously it tried to go via the York cache, which is wrong. So I
> checked the IE proxy settings, and found the attached screenshot.
> i.e. the settings are as mentioned, but the checkbox to use those
> settings is disabled. If you tell me which bit of the registry this
> gets read from, I'll happily copy those keys.
path: Software\Microsoft\Windows\CurrentVersion\Internet Settings
Can you tell us what is the nearby key that enables/disables use of the
More information about the cabal-devel