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