[petsc-users] Errors while install pets-dev

[Satish Balay]

Sorry - forgot to mention the url

http://mail.openjdk.java.net/pipermail/build-dev/2007-December/000628.html

Satish

On Mon, 25 Jan 2010, Satish Balay wrote:

> 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!
> > 
> > 
> 
>