Re: What happens to kernel.org ?

2011-09-09 Thread Jerome BENOIT
Hello List: Thanks for your replies: indeed it is `down for maintenance' according to itself. Jerome On 09/09/11 02:02, Tom H wrote: On Thu, Sep 8, 2011 at 6:12 PM, Jerome BENOITg62993...@rezozer.net wrote: does anyone know why `www.kernel.org' can't be found ? The servers are

Re: What happens to kernel.org ?

2011-09-09 Thread D G Teed
On Fri, Sep 9, 2011 at 6:12 AM, Jerome BENOIT g62993...@rezozer.net wrote: Hello List: Thanks for your replies: indeed it is `down for maintenance' according to itself. Jerome On 09/09/11 02:02, Tom H wrote: On Thu, Sep 8, 2011 at 6:12 PM, Jerome BENOITg62993...@rezozer.net  wrote:

Re: What happens to kernel.org ?

2011-09-09 Thread Tom H
On Fri, Sep 9, 2011 at 12:51 PM, D G Teed donald.t...@gmail.com wrote: On Fri, Sep 9, 2011 at 6:12 AM, Jerome BENOIT g62993...@rezozer.net wrote: Hello List: Thanks for your replies: indeed it is `down for maintenance' according to itself. Jerome On 09/09/11 02:02, Tom H wrote: On Thu,

Re: What happens to kernel.org ?

2011-09-09 Thread shawn wilson
On Sep 9, 2011 12:51 PM, D G Teed donald.t...@gmail.com wrote: On Fri, Sep 9, 2011 at 6:12 AM, Jerome BENOIT g62993...@rezozer.net wrote: Hello List: Thanks for your replies: indeed it is `down for maintenance' according to itself. Jerome On 09/09/11 02:02, Tom H wrote: On Thu,

What happens to kernel.org ?

2011-09-08 Thread Jerome BENOIT
Hello List: does anyone know why `www.kernel.org' can't be found ? Thanks in advance, Jerome -- To UNSUBSCRIBE, email to debian-user-requ...@lists.debian.org with a subject of unsubscribe. Trouble? Contact listmas...@lists.debian.org Archive:

Re: What happens to kernel.org ?

2011-09-08 Thread Miles Fidelman
Jerome BENOIT wrote: Hello List: does anyone know why `www.kernel.org' can't be found ? looks like their nameservers are down -- In theory, there is no difference between theory and practice. Infnord practice, there is. Yogi Berra -- To UNSUBSCRIBE, email to

Re: What happens to kernel.org ?

2011-09-08 Thread jacques
Le 09/09/2011 00:12, Jerome BENOIT a écrit : Hello List: does anyone know why `www.kernel.org' can't be found ? Ping is silent and traceroute dies very close to the machine :) Looks like a network problem. May I suggest to be patient ? Thanks in advance, Jerome Jacques

Re: What happens to kernel.org ?

2011-09-08 Thread Tom H
On Thu, Sep 8, 2011 at 6:12 PM, Jerome BENOIT g62993...@rezozer.net wrote: does anyone know why `www.kernel.org' can't be found ? The servers are probably still being rebuilt after the recent hack. You can get the latest kernel(s) from github. -- To UNSUBSCRIBE, email to