From mboxrd@z Thu Jan 1 00:00:00 1970 From: zimoun Subject: Re: guix gc doesn't seem to clean old guix revision Date: Tue, 10 Dec 2019 17:32:27 +0100 Message-ID: References: <87h82u32v3.fsf@gnu.org> <87eexcp2zk.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:470:142:3::10]:56233) by lists.gnu.org with esmtp (Exim 4.90_1) (envelope-from ) id 1ieiRI-0007pX-Ii for guix-devel@gnu.org; Tue, 10 Dec 2019 11:32:45 -0500 Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71) (envelope-from ) id 1ieiRH-00081w-Hl for guix-devel@gnu.org; Tue, 10 Dec 2019 11:32:44 -0500 In-Reply-To: <87eexcp2zk.fsf@gnu.org> 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: =?UTF-8?Q?Ludovic_Court=C3=A8s?= Cc: "guix-devel@gnu.org" , YOANN P Hi Ludo, On Tue, 10 Dec 2019 at 17:19, Ludovic Court=C3=A8s wrote: > YOANN P skribis: > >> As said, it is not a bug of "guix pull" but a bug of the > >> configuration. Adding the root user to your Dockerfile should fix the > >> issue you encounter. > > > > The fact that guix require $USER to be set is IMO a kind of bug and is > > documented anywhere. > > I had not understood that. I guess the patch below fixes it, I=E2=80=99l= l push > it shortly. Bug or not a bug? that is the question. ;-) If I understand well, the "default" case will never happen now. And does the addition not include (getenv "USER") and LOGNAME? Cheers, simon