[petsc-users] Errors while install pets-dev

[Satish Balay]

Gald it works now.

BTW: What OS/version do you have? And what version of mercurial is
this? [just for completeness]

Satish

On Mon, 25 Jan 2010, (Rebecca) Xuefei YUAN wrote:

> Dear Satish,
> 
> There is no such an error showed up this time.
> 
> Thanks very much!
> 
> Rebecca
> 
> 
> 
> 
> Quoting Satish Balay <balay at mcs.anl.gov>:
> 
> > On Mon, 25 Jan 2010, (Rebecca) Xuefei YUAN wrote:
> > 
> > > Dear Satish,
> > > 
> > > I got these from those two commands:
> > > 
> > > rebecca at YuanWork:~/soft/petsc-dev$ env |grep -i proxy
> > > http_proxy=http://:8080/
> > > no_proxy=localhost,127.0.0.0/8,*.local
> > > rebecca at YuanWork:~/soft/petsc-dev$ env |grep -i http
> > > http_proxy=http://:8080/
> > > 
> > > And my System -> Preferences -> Network Proxy shows three options:
> > > 
> > > * Direct internet connection
> > > * Manual proxy configuration
> > > * Automatic proxy configuration
> > > 
> > > I think it is the third one with "Autoconfiguration URL" blank.
> > > 
> > > Does this mean my .hgrc file should have two lines of
> > > [http_proxy]
> > > host=http://:8080/
> > 
> > 
> > Give it a try and see if it works. I'm not sure how all this proxy
> > stuff works though..
> > 
> > Satish
> > 
> > 
> 
> 
> 
>