[petsc-users] Errors while install pets-dev

[(Rebecca) Xuefei YUAN]

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/

Thanks a lot!

Rebecca



Quoting Satish Balay <balay at mcs.anl.gov>:

> On Mon, 25 Jan 2010, (Rebecca) Xuefei YUAN wrote:
>
>> Dear Satish,
>>
>> I tried to find ~/.hgrc file but there is none. Instead, I found a   
>> global hgrc
>> file located at
>> /etc/mercurial/hgrc
>> and its content is one sentence of comments:
>> # system-wide mercurial configuration file
>> # See hgrc(5) for more information
>>
>> Shall I create a new .hgrc file as indicated in url:
>>
>> http://www.selenic.com/pipermail/mercurial/2006-June/008690.html
>
> Yes - ~/.hgrc is created by the user. You can just have the 2 lines
> needed for proxy.
>
>>  I tried to find my proxy host name and port, and in Firefox, it is
>> said "Use system proxy settings" under "Connection Settings" tab
>> under "Preferences" in Firefox, if this is the case, what is my real
>> proxh host name and port?
>
> For sure firefox must be using http_proxy [otherwise it would be set
> to 'no proxy'. But I'm not sure how you can find the settings. What
> do you have for
>
> env |grep -i proxy
> env |grep -i http
>
> Also what OS is this? If you are using gnome - there can be proxy
> settings there. On my Fedora 12 box with Gnome - the settings can be
> at:
>
> 'System -> Preferences -> Network Proxy'
>
>
> Satish
>
>> Is
>>
>> [http_proxy]
>> host=proxy:8080
>>
>> a default one?
>>
>> Thanks very much!
>>
>> Rebecca
>>
>>
>>
>>
>>
>> Quoting Satish Balay <balay at mcs.anl.gov>:
>>
>> > 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!
>> > > >
>> > > >
>> > >
>> > >
>> >
>> >
>> >
>>
>>
>>
>>
>
>
>



-- 
(Rebecca) Xuefei YUAN
Department of Applied Physics and Applied Mathematics
Columbia University
Tel:917-399-8032
www.columbia.edu/~xy2102