[darcs-users] Http Proxy
droundy at abridgegame.org
Thu Nov 11 11:44:36 UTC 2004
On Thu, Nov 11, 2004 at 09:08:22AM +0100, Tomasz Zielonka wrote:
> On Thu, Nov 11, 2004 at 02:26:07PM +1100, Thomas L. Bevan wrote:
> > How do you use DARCS with a password protected HTTP-proxy server?
> Curl seems to have a option for this - CURLOPT_PROXYUSERPWD, settable
> with curl_easy_setopt(3). AFAICS, it can't be set as an environment
> variable, so you would have to extend darcs.
This wouldn't be hard for a new darcs coder, if someone wants to implement
More information about the darcs-users