Re: [savannah-help-public] I can't reach the gnu.org web repository (Ruben, please read)

[Bob Proulx]

Richard Stallman wrote:
> Thanks.  I finally had time to fix my /etc/hosts file.
> (I had corrected it for the new network but I didn't know
> the last byte had also changed.)

Of course it is best to use DNS for addresses but if one is going to
use an /etc/hosts file then there are going to be many entries
needed.  And they may change in the future.

The CVS repositories were split out from the rest of the collection
into a separate system.  Only the CVS repositories moved.  The rest of
the repositories remain on the previous system on the previous IP
address.

I put together the following which I believe is representative of the
current systems at this time.  They may change in the future.  Of
course I realize that you may not be using all of the possible
combinations.  And hopefully I did not make a mistake in this
creation too.

Bob

2001:470:142:5::200 audio-video.savannah.gnu.org audio-video.sv.gnu.org 
audio-video.savannah.nongnu.org audio-video.sv.nongnu.org dl.savannah.gnu.org 
dl.sv.gnu.org dl.savannah.nongnu.org dl.sv.nongnu.org 
download-mirror.savannah.gnu.org download-mirror.sv.gnu.org 
download-mirror.savannah.nongnu.org download-mirror.sv.nongnu.org 
download.savannah.gnu.org download.sv.gnu.org download.savannah.nongnu.org 
download.sv.nongnu.org ftpmirror.savannah.gnu.org ftpmirror.sv.gnu.org 
ftpmirror.savannah.nongnu.org ftpmirror.sv.nongnu.org 
gnu-ftpmirror.savannah.gnu.org gnu-ftpmirror.sv.gnu.org 
gnu-ftpmirror.savannah.nongnu.org gnu-ftpmirror.sv.nongnu.org
2001:470:142:5::201 arch.savannah.gnu.org arch.sv.gnu.org 
arch.savannah.nongnu.org arch.sv.nongnu.org bzr.savannah.gnu.org bzr.sv.gnu.org 
bzr.savannah.nongnu.org bzr.sv.nongnu.org git.savannah.gnu.org git.sv.gnu.org 
git.savannah.nongnu.org git.sv.nongnu.org hg.savannah.gnu.org hg.sv.gnu.org 
hg.savannah.nongnu.org hg.sv.nongnu.org svn.savannah.gnu.org svn.sv.gnu.org 
svn.savannah.nongnu.org svn.sv.nongnu.org
2001:470:142::81 cvs.savannah.gnu.org cvs.sv.gnu.org cvs.savannah.nongnu.org 
cvs.sv.nongnu.org web.cvs.savannah.gnu.org web.cvs.sv.gnu.org 
web.cvs.savannah.nongnu.org web.cvs.sv.nongnu.org
209.51.188.200 audio-video.savannah.gnu.org audio-video.sv.gnu.org 
audio-video.savannah.nongnu.org audio-video.sv.nongnu.org dl.savannah.gnu.org 
dl.sv.gnu.org dl.savannah.nongnu.org dl.sv.nongnu.org 
download-mirror.savannah.gnu.org download-mirror.sv.gnu.org 
download-mirror.savannah.nongnu.org download-mirror.sv.nongnu.org 
download.savannah.gnu.org download.sv.gnu.org download.savannah.nongnu.org 
download.sv.nongnu.org ftpmirror.savannah.gnu.org ftpmirror.sv.gnu.org 
ftpmirror.savannah.nongnu.org ftpmirror.sv.nongnu.org 
gnu-ftpmirror.savannah.gnu.org gnu-ftpmirror.sv.gnu.org 
gnu-ftpmirror.savannah.nongnu.org gnu-ftpmirror.sv.nongnu.org
209.51.188.201 arch.savannah.gnu.org arch.sv.gnu.org arch.savannah.nongnu.org 
arch.sv.nongnu.org bzr.savannah.gnu.org bzr.sv.gnu.org bzr.savannah.nongnu.org 
bzr.sv.nongnu.org git.savannah.gnu.org git.sv.gnu.org git.savannah.nongnu.org 
git.sv.nongnu.org hg.savannah.gnu.org hg.sv.gnu.org hg.savannah.nongnu.org 
hg.sv.nongnu.org svn.savannah.gnu.org svn.sv.gnu.org svn.savannah.nongnu.org 
svn.sv.nongnu.org www-projects.savannah.gnu.org www-projects.sv.gnu.org 
www-projects.savannah.nongnu.org www-projects.sv.nongnu.org
209.51.188.81 cvs.savannah.gnu.org cvs.sv.gnu.org cvs.savannah.nongnu.org 
cvs.sv.nongnu.org web.cvs.savannah.gnu.org web.cvs.sv.gnu.org 
web.cvs.savannah.nongnu.org web.cvs.sv.nongnu.org