[petsc-users] Errors while install pets-dev

[Satish Balay]

Do you have to use proxy for your http connections? If so - perhaps
you can try adding the settings to ~/.hgrc - as this url indicates and
see if it fixes the problem.

Satish

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

> Hi,All,
> 
> I try to install a pets-dev locally according to the instruction
> 
> http://www.mcs.anl.gov/petsc/petsc-as/developers/index.html
> 
> I have installed mercurial, but when I get the second step, I get some error
> like:
> 
> rebecca at YuanWork:~/soft$ hg clone http://petsc.cs.iit.edu/petsc/petsc-dev
> destination directory: petsc-dev
> abort: error: Name or service not known
> 
> Is there anything wrong?
> 
> Thanks!
> 
>