From mboxrd@z Thu Jan 1 00:00:00 1970 From: ludo@gnu.org (Ludovic =?utf-8?Q?Court=C3=A8s?=) Subject: Re: boot the Hurd with Guix Date: Thu, 16 Nov 2017 11:13:08 +0100 Message-ID: <87shdeh6q3.fsf@gnu.org> References: <20171112210310.80B0E4E0031@mta-1.openmailbox.og> <87fu9iv4sm.fsf@gnu.org> <20171113105024.tvfkan54xzj7dbpv@var.youpi.perso.aquilenet.fr> 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]:45099) by lists.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1eFHAf-0002c1-16 for guix-devel@gnu.org; Thu, 16 Nov 2017 05:13:25 -0500 Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71) (envelope-from ) id 1eFHAe-0001KF-1q for guix-devel@gnu.org; Thu, 16 Nov 2017 05:13:20 -0500 In-Reply-To: <20171113105024.tvfkan54xzj7dbpv@var.youpi.perso.aquilenet.fr> (Samuel Thibault's message of "Mon, 13 Nov 2017 11:50:24 +0100") 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: rennes@openmailbox.org Cc: guix-devel , bug-hurd@gnu.org Hi Samuel, :-) Samuel Thibault skribis: > Ludovic Court=C3=A8s, on lun. 13 nov. 2017 11:42:01 +0100, wrote: >> PS: guix-daemon no longer depends on =E2=80=98lsof=E2=80=99, but it stil= l depends on /proc. > > Does our procfs have everything it needs already? It needs /proc/PID/{exe,cwd,fd,maps,environ}: https://git.savannah.gnu.org/cgit/guix.git/tree/nix/scripts/list-runtime-= roots.in That said, it=E2=80=99s quite optional: the worst that can happen if one of these things is missing is that something can be reclaimed =E2=80=9Cprematu= rely=E2=80=9D from /gnu/store. I say =E2=80=9Cprematurely=E2=80=9D with quotes because u= sers are supposed to register =E2=80=9Creal=E2=80=9D GC roots anyway, as with =E2=80= =98guix package -i=E2=80=99 or =E2=80=98guix build --root=E2=80=99. Thanks, Ludo=E2=80=99.