#748: cabal update fails ---------------------------------+------------------------------------------ Reporter: guest | Owner: Type: defect | Status: new Priority: normal | Milestone: Component: cabal-install tool | Version: 1.8.0.6 Severity: normal | Keywords: Difficulty: unknown | Ghcversion: 6.12.3 Platform: Windows | ---------------------------------+------------------------------------------ Comment(by guest):

cabal update -v3 Downloading the latest package list from hackage.haskell.org Sending: GET /packages/archive/00-index.tar.gz HTTP/1.1 Host: hackage.haskell.org User-Agent: cabal-install/0.8.2 Creating new connection to hackage.haskell.org cabal: failed

Yes, I use proxy - I got this error when I tried to setup haskell environment in my work - unfortunately I cannot provide you with all information about my Internet connection and I also cannot chose not to use proxy. -- Ticket URL: http://hackage.haskell.org/trac/hackage/ticket/748#comment:2 Hackage http://haskell.org/cabal/ Hackage: Cabal and related projects

#748: cabal update fails ---------------------------------+------------------------------------------ Reporter: guest | Owner: Type: defect | Status: new Priority: normal | Milestone: Component: cabal-install tool | Version: 1.8.0.6 Severity: normal | Keywords: Difficulty: unknown | Ghcversion: 6.12.3 Platform: Windows | ---------------------------------+------------------------------------------ Comment(by guest): I think it's not about system wide configuration. My company has more sophisticated proxy policy - all my browsers (IE, Chrome, Firefox) are configured to use autoconfiguration script, which is accessible in my intranet - this script does not define one proxy server and selects proxy based on some conditions. It appears that cabal is not using this script - as I see it's written in JS, so I suppose this bug will not be resolved as you probably aren't willing to add JS compiler to cabal - at least I wouldn't :) In the other hand this bug makes it more difficult for many companies to use haskell - at least for HP. Check out this: http://en.wikipedia.org/wiki/Proxy_auto-config -- Ticket URL: http://hackage.haskell.org/trac/hackage/ticket/748#comment:4 Hackage http://haskell.org/cabal/ Hackage: Cabal and related projects

#748: cabal does not use JavaScript proxy autoconfiguration ----------------------------------+----------------------------------------- Reporter: guest | Owner: Type: defect | Status: new Priority: normal | Milestone: Component: cabal-install tool | Version: 1.8.0.6 Severity: normal | Keywords: Difficulty: very hard (<1 week) | Ghcversion: 6.12.3 Platform: Windows | ----------------------------------+----------------------------------------- Changes (by duncan): * difficulty: unknown => very hard (<1 week) Comment: If you're able to pick a static proxy then you can set it with the env var. I know some other corporate users do this even though their browsers use the funky JS method. Yes, I don't intend to add a JS interpreter but in principle it's plausible that we could bind to the IE HTTP library and take advantage of its proxy support (which does use a JS interpreter). I'd probably accept a patch to do that. -- Ticket URL: http://hackage.haskell.org/trac/hackage/ticket/748#comment:6 Hackage http://haskell.org/cabal/ Hackage: Cabal and related projects

#748: cabal does not use JavaScript proxy autoconfiguration ----------------------------------+----------------------------------------- Reporter: guest | Owner: Type: defect | Status: new Priority: normal | Milestone: _|_ Component: cabal-install tool | Version: 1.8.0.6 Severity: normal | Keywords: Difficulty: very hard (<1 week) | Ghcversion: 6.12.3 Platform: Windows | ----------------------------------+----------------------------------------- Changes (by kosmikus): * milestone: => _|_ -- Ticket URL: http://hackage.haskell.org/trac/hackage/ticket/748#comment:8 Hackage http://haskell.org/cabal/ Hackage: Cabal and related projects