sources.redhat.com server?

[Jeff Johnston]

On 11/17/2012 12:33 AM, Christopher Faylor wrote:
> On Fri, Nov 16, 2012 at 07:41:10PM -0500, Craig Howland wrote:
>> This is likely a Jeff or Corinna question.
>>
>> For the last couple of weeks, cvs has been failing to contact
>> sources.redhat.com.  Has something in the setup been changed?
>
> Yes.  Red Hat has decoupled sources.redhat.com from sourceware.org.
> This was done with no advertisement that I know of.
>
> sourceware.org has been the definitive name for the site for quite
> some time so that is the right thing to be using.

Correct.  The access to the old site name was only recently cut off.

>
>> I checked the Newlib web site, and the Download still shows the cvs
>> commands as using sources.redhat.com, although the web site is
>> sourceware.org.

Fixed.

>>
>> Using sourceware.org instead of redhat.sources.com does seem to work.
>> I would guess that this is what it really should be, in which case the
>> web site ought to be updated.  This also raises a question: is there
>> some easy cvs way to change the server pointed to?  (I could write a
>> quick script to sed the CVS setup files, but if someone knows the
>> proper CVS way, I could take advantage of that, instead.)
>
> I don't think there is an accepted way to change other than to just
> modify the appropriate CVS files.

A sed operation is what I did.

-- Jeff J.