[petsc-users] Errors while install pets-dev

[Satish Balay]

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