From mboxrd@z Thu Jan 1 00:00:00 1970 From: ludo@gnu.org (Ludovic =?utf-8?Q?Court=C3=A8s?=) Subject: Re: hydra.gnu.org down Date: Thu, 14 Jul 2016 00:10:49 +0200 Message-ID: <87k2gpi3yu.fsf@gnu.org> References: <878tx5lkjb.fsf@gnu.org> Mime-Version: 1.0 Content-Type: text/plain; charset=utf-8 Content-Transfer-Encoding: quoted-printable Return-path: Received: from eggs.gnu.org ([2001:4830:134:3::10]:44964) by lists.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1bNSMt-00023D-JM for guix-devel@gnu.org; Wed, 13 Jul 2016 18:11:00 -0400 Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71) (envelope-from ) id 1bNSMn-0006jA-Kc for guix-devel@gnu.org; Wed, 13 Jul 2016 18:10:58 -0400 Received: from fencepost.gnu.org ([2001:4830:134:3::e]:33506) by eggs.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1bNSMn-0006iU-He for guix-devel@gnu.org; Wed, 13 Jul 2016 18:10:53 -0400 Received: from reverse-83.fdn.fr ([80.67.176.83]:59906 helo=pluto) by fencepost.gnu.org with esmtpsa (TLS1.2:RSA_AES_128_CBC_SHA1:128) (Exim 4.82) (envelope-from ) id 1bNSMk-0007yI-Qi for guix-devel@gnu.org; Wed, 13 Jul 2016 18:10:51 -0400 In-Reply-To: <878tx5lkjb.fsf@gnu.org> ("Ludovic \=\?utf-8\?Q\?Court\=C3\=A8s\=22'\?\= \=\?utf-8\?Q\?s\?\= message of "Wed, 13 Jul 2016 15:44:40 +0200") List-Id: "Development of GNU Guix and the GNU System distribution." List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: guix-devel-bounces+gcggd-guix-devel=m.gmane.org@gnu.org Sender: "Guix-devel" To: guix-devel@gnu.org Hi! ludo@gnu.org (Ludovic Court=C3=A8s) skribis: > Since yesterday evening (CET), hydra.gnu.org is down. The FSF sysadmins > are working on it and will keep us updated. The bad news is that there was a hard disk failure so the FSF staff will need to restore a backup of the machine, which will take some time. :-/ In the meantime, if you have a machine with recent binaries and would like to share them, run =E2=80=98guix publish=E2=80=99 and post in a signed= message the machine=E2=80=99s public key (usually /etc/guix/signing-key.pub). Decentralization is the key! Ludo=E2=80=99.